Aufgabe:
Sei für eine natürliche Zahl n mit [n] die Zeichenkette über dem Eingabeal- phabet Σ = {0, 1, 2, . . . , 9} bezeichnet, die n in Dezimaldarstellung darstellt. (Zum Beispiel ist [1021] = 1021, aber die 1021 links (vom Gleichheitszeichen) ist eine natürliche Zahl, während die 1021 rechts (vom Gleichheitszeichen) eine Zeichenkette bestehend aus den vier Symbolen 1, 0, 2 und 1 ist.)
Konstruieren Sie für M = {[n] ∈ Σ∗ | n ∈ N und n ≥ 500} einen DFA A mit L(A) = M und beweisen Sie, dass dies tatsächlich gilt.
Problem/Ansatz:
