de Automatentheorie

Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.

Sie ist ein wichtiges Werkzeug der Berechenbarkeitstheorie und Komplexitätstheorie. Praktische Anwendung findet sie beim Entwurf von lexikalischen Scannern und Parsern im Compilerbau sowie für den Entwurf von Programmiersprachen.

Die Automatentheorie befasst sich mit formalen Sprachen und formalen Grammatiken, die u. a. durch die Chomsky-Hierarchie typisiert werden, und mit Modellen für Automaten, die solche Sprachen verarbeiten können, insbesondere endliche Automaten, Kellerautomaten, Zellularautomaten und Turingmaschinen.

Siehe auch

Boolescher Differentialkalkül

Literatur

Dieter Schulte: Kombinatorische und sequentielle Netzwerke: Grundlagen und Anwendungen der Automatentheorie, Oldenbourg, München 1967
Claude Elwood Shannon, John McCarthy (Hrsg.): Studien zur Theorie der Automaten, Rogner & Bernhard, München 1974 (Übersetzung einer 1956 im Original erschienenen Anthologie mit Beträgen u. a. von John von Neumann, Stephen Cole Kleene, Edward F. Moore, Marvin Minsky)
Horst H. Homuth: Einführung in die Automatentheorie für Studenten der Mathematik, Informatik, Natur- und Ingenieurwissenschaften, Vieweg Verlag, Braunschweig 1977
John E. Hopcroft, Rajeev Motwani, Jeffrey Ullman: Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie, 2., überarb. Aufl., Pearson Education Deutschland, München 2003
Uwe Schöning: Theoretische Informatik – kurz gefaßt, 5., überarb. Aufl., Spektrum Akademischer Verlag, Heidelberg, 2003
Jan Lunze: Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen, Oldenbourg, 2006, ISBN 3-486-58071-X

Weblinks

Commons: Automatentheorie – Sammlung von Bildern, Videos und Audiodateien

Wiktionary: Automatentheorie – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

Literatur von und über Automatentheorie im Katalog der Deutschen Nationalbibliothek