Nichtdeterministische endliche Automaten
摘要
Nichtdeterminismus ist ein mächtiges Werkzeug, mit dem die Konstruktion und das Studium von endlichen Automaten vereinfacht werden kann.