Bővebb ismertető
VorwortDas vorliegende Buch enthält eine einheitliche Darstellung des algebraischen, speziell halbgruppentheoretischen Zugangs zur Automatentheorie und zur Theorie der formalen Sprachen.Es beginnt sehr elementar und führt den Leser zu bisher unveröffentlichten Resultaten. Demgemäß kann es als Lehrbuch, als Handbuch für die auf dem betreffenden Gebiet Arbeitenden und auch von Lesern, die nur an einem Teilgebiet (Automaten, Sprachen, Halbgruppen) interessiert sind, jedoch ihre Kenntnisse erweitern wollen, mit Erfolg benutzt werden.Zwei Quellen liegen dem Buch zugrunde: erstens eine Vorlesungsreihe, die von acht der Autoren auf einer Konferenz über algebraische Automatentheorie, Sprachen und Halbgruppen (in Asilomar, California, vom 30. August bis 7. September 19661)) gehalten wurde, und zweitens ein Seminar, das John Rhodes seit 1964 in dem Mathematics Department of the University of California at Berkeley geleitet hat. Das Material wurde redigiert, umgestellt und neu geschrieben mit dem Ziel, ein Buch zu schaffen, das einführenden Charakter hat, zugleich anspruchsvoll und trotz seiner vielen Autoren in gewisser Weise in sich abgeschlossen ist.Die Kapitel wurden so angeordnet, wie es nach meiner Auffassung für Anfänger am günstigsten ist, wobei bemerkt werden muß, daß die Kapitel von McNatjghton, Ginsburg und Shamib eine Einheit bilden und jederzeit sofort nach Kapitel 1 gelesen werden können. Die ersten sechs und die letzten drei Kapitel können als gute Grundlage für eine Einführung in die Automatentheorie dienen, das übrige Material eignet sich besser für Fortgeschrittene.Die Kapitel 1, 5 und 7 bis 9 hat Beet Tilson unter Verwendung der Vorlesungen von John Rhodes niedergeschrieben. Sie bilden zusammen mit Kapitel 6 ebenfalls eine in sich geschlossene Einheit und können unabhängig von den anderen Kapiteln gelesen werden. Jedoch wird der Leser bemerken, daßJ) Über das verwendete Material hinaus wurden auf der Konferenz in Asilomar noch 52 Vorträge gehalten. Diese sind an anderer Stelle veröffentlicht; genaue Angaben darüber werden im Anhang gebracht.