Beim Erstellen einer NFA aus einem regulären Ausdruck treten Probleme auf, die jeden Schritt beschreiben. Die Frage ist wie folgt:

Konvertieren Sie den folgenden regulären Ausdruck in einen nicht deterministischen Finite-State-Automaten (NFA) und beschreiben Sie die Schritte des von Ihnen verwendeten Algorithmus deutlich: (b | a) * b (a | b)

Ich habe eine einfache 3-Zustands-Maschine gebaut, aber es ist sehr viel von der Intuition. Dies ist eine Frage aus einer früheren Prüfung meines Dozenten, der auch die folgende Erklärung zu Thompsons Algorithmus verfasst hat:http://www.cs.may.ie/staff/jpower/Courses/Previous/parsing/node5.html

Kann jemand klären, wie man "jeden Schritt klar beschreibt"? Es scheint nur ein Satz von Grundregeln zu sein, nicht ein Algorithmus mit Schritten, denen zu folgen ist.

Vielleicht gibt es einen Algorithmus, den ich irgendwo beschönigt habe, aber bisher habe ich sie nur mit einer fundierten Vermutung erstellt.