Als Wissenschaftliche Hausarbeit im Rahmen des Staatsexamens für das Lehramt Informatik an Gymnasien entstand an der Goethe-Universität eine Simulationsumgebung für Nichtdeterministische Kellerautomaten. Das Programm mit Beispielen sowie einer ausführlichen Erläuterung finden Sie hier:

https://lernarchiv.bildung.hessen.de/rundschreiben/sek_ii/informatik/13.1/index.html