Übung zur VL Theoretische Grundlagen der Informatik | WS 2019/20

Übung 5 (13 Punkte)

5.1 Nichtdeterministischer endlicher Automat (8 Punkte)
Gegeben sei ein nichtdeterministischer endlicher Automat N durch die folgende
Übergangstabelle:
0 1
→p {p, q} {p}
q {r} {r}
r {s} ∅
*s {s} {s}

a) (1 Punkt) Zeichnen Sie das Zustandsübergangsdiagramm für den Automaten N.

b) (1 Punkt) Definieren Sie den Automaten N als Quintupel (inklusive der
Übergangsfunktion ).
c) (1 Punkt) Geben Sie vier Worte (so kurz wie möglich) an, die von dem o.g. NEA N
akzeptiert werden.
d) (1 Punkt) Geben Sie vier Worte (so kurz wie möglich, über dem Alphabeten des
Automaten) an, die von dem o.g. NEA N nicht akzeptiert werden.
e) (1 Punkt) Beschreiben Sie die Sprache L(N) von N mithilfe der Mengennotation (d.h. L(N)
= {…|…}.
f) (3 Punkte) Wandeln Sie den NEA in einen DEA um. Zeichnen Sie das
Zustandsübergangsdiagramm für den konstruierten DEA.

5.2 Sprache eines NEA (5 Punkte)

Gegeben sei die folgende Sprache:
Die Menge aller Zeichenreihen (der Länge mindestens 2) über dem Alphabet {0, 1, …, 9}
derart, dass die letzte Ziffer vorher noch nicht vorgekommen ist.
a) (2 Punkte) Geben Sie vier Beispiele für Zeichenreihen, die zur Sprache gehören und vier
Beispiele für Zeichenreihen, die zur Sprache nicht gehören.
b) (3 Punkte) Definieren Sie einen nichtdeterministischen endlichen Automaten (zeichnen
Sie das Diagramm), der diese Sprache akzeptiert.