[1] „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. Online-Version❬/ref❭