Partielle, nichtdeterminierte Automaten
Funktionsbeschreibung
Automatengraphen partieller und nichtdeterminierter Automaten
root
Sat Jun 21 22:28:32 1997