Grundlagen

Die formale Darstellung der Grammatiken, Automaten, Algorithmen und Beweise folgt den untenstehenden Büchern:

[1]   A.V. Aho and J.D. Ullman. The Theory of Parsing, Translation and Compiling, volume I: Parsing. Prentice-Hall, Englewood-Cliffs, N.J., 1972.

[13]   John E. Hopcroft and Jeffrey D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, Bonn, Paris [u.a]., dritte korrigierte edition, 1994.

[21]   Uwe Schöning. Theoretische Informatik kurz gefasst. BI-Wissenschaftsverlag, Mannheim, Leipzig, Wien, Zürich, 1992.

Außerdem

[6]   Manfred Broy. Informatik - eine grundlegende Einführung, Teil III. Springerverlag, Berlin u. a., 1994.

[23]   Ingo Wegener. Theoretische Informatik, Eine algorithmenorientierte Einführung. Leitfäden und Monographien der Informatik. Teubner Verlag, Stuttgart, 1993.

[18]   Eckart Modrow. Automaten Schaltwerke Sprachen - Lehr- und Übungsbuch der technischen und theoretischen Informatik. Bausteine der Informatik. Ferd. Dümmlers Verlag, Bonn, 3. verbesserte auflage edition, 1989.