„Endliche Automaten reichen nicht aus, um nichtreguläre, kontextfreie Sprachen zu beschreiben. Deshalb werden dafür ''Kellerautomaten'' verwendet.“<ref>Manfred Broy: ''Systemstrukturen und Theoretische Informatik.'' In: ''Informatik. Eine grundlegende Einführung.'' 2. Auflage. Band 2, Springer-Verlag, Berlin/Heidelberg 1998, ISBN 3-540-64392-3, S. 244. [http://books.google.de/books?id=6RzKvw5s0QcC&pg=PA244 Online-Version]</ref>
''[[Informatik]]:'' zustandsbasiertes Eingabe-Ausgabe-System mit einem Speicherstapel