Christian Wagenknecht, Michael Hielscher: Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung.ISBN 3-8348-0624-2, S. 20. (online)
Juraj Hromkovič: Theoretische Informatik. Formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie (= Teubner Leitfäden der Informatik). 2. über. u. erw. Auflage. B.G. Teubner Verlag, 2004, ISBN 3-519-10332-X, S.33 (eingeschränkte Vorschau in der Google-Buchsuche).
Susanna S. Epps: Discrete Mathematics with Applications. 4. Auflage. Brooks Cole Pub Co, 2010, ISBN 0-495-39132-8, S.781 (eingeschränkte Vorschau in der Google-Buchsuche).
Alexandru Mateescu, Arto Salomaa: Formal Languages: an Introduction and a Synopsis. In: Grzegorz Rozenberg, Arto Salomaa (Hrsg.): Handbook of formal languages. Word, Language, Grammar. Vol. 1. Springer-Verlag, 1997, ISBN 3-540-60420-0, S.10 (eingeschränkte Vorschau in der Google-Buchsuche).
Manfred Broy: Systemstrukturen und Theoretische Informatik. In: Informatik. Eine grundlegende Einführung. 2. überarb. Auflage. Band2. Springer, Berlin 1998, ISBN 3-540-64392-3, S.191 (eingeschränkte Vorschau in der Google-Buchsuche).
Hans-Jürgen Appelrath, Jochen Ludewig: Skriptum Informatik. Eine konventionelle Einführung. 5. Auflage. B.G. Teubner, Stuttgart/Leipzig 2000, ISBN 3-519-42153-4, S.24 (eingeschränkte Vorschau in der Google-Buchsuche).
Gerhard Goos, Friedrich L. Bauer: Informatik 1. Eine einführende Übersicht. 4. verb. Auflage. Springer, Berlin/Heidelberg 1991, ISBN 3-540-52790-7, S.29 (eingeschränkte Vorschau in der Google-Buchsuche).
