1. E. Börger: Berechenbarkeit, Komplexität, Logik, Vieweg Verlag, Braunschweig, 1985.
2. K. Erk, L. Priese: Theoretische Informatik, Springer Verlag, 2000.
3. J.E. Hoperoft, J.D. Ullman: EIntroduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, 1979.
4. H.R. Lewis, C.H. Papadimitriou: Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, 1981.
5. A. Salomaa: Formal Languages, Academic Press, New York, 1973.