Sie sind auf Seite 1von 4

Beispiele (Frist: 03.04.

)
Beispiel 1: Sei = {a, b} ein Alphabet und Q = {q0, q1} eine Menge von Zustnden. Weiters sei folgende bergangsfunktion : Q x (Q) gegeben ( - Potenzmenge) : (q0, a) = {q0, q1}, (q0, b) = {q1}, (q1, a) = {q0, q1}
(a) Erklren Sie die Komponenten und die Funktionsweise eines endlichen Automaten anhand des Beispiels. (b) Ist der obige Automat durch Angabe von , Q und bereits vollstndig definiert? Was fehlt? (c) Wann nennt man einen Automaten deterministisch? (d) Was ist die von einem Automaten A akzeptierte Sprache? (e) Erklren Sie den wesentlichen Unterschied regulren und kontextfreien Grammatiken (Sprachen).

(a) Konstruieren Sie daraus einen quivalenten deterministischen Automaten. (b) Beschreiben Sie die von A akzeptierte Sprache durch einen regulren Ausdruck. P.Brezany Institut fr Softwarewissenschaft Universitt Wien

Beispiel 2: Gegeben sei der EA A =({q0, q1 , q2, }, {a, b, c}, , q0, {q0} ) (q0, a) = {q0, q2}, (q0, b) = {q0, q1}, (q1, c) = {q0}, (q2, b) = {q1}, (q2, c) = {q0}.
1

Beispiel 3: Gegeben sei die (regulre) Sprache L ber dem Alphabet {a,b,c} durch folgenden regulren Ausdruck R: c+(a+b+c)3ac*
(a) Beschreiben Siel L formal durch Angabe einer (regulren) Menge. (b) Finden Sie einen endlichen Automaten A, der L(G) akzeptiert. (c) Konstruieren Sie daraus einen quivalentnen deterministisch. endlichen Automaten A.

(d) Bestimmen Sie eine regulre Grammatik G, die L(G) erzeugt.

Beispiel 4: Beschreiben Sie die durch folgende regulre Ausdrcke definierten formalen Sprachen mithilfe von Mengenschreibweise, konstruieren Sie regulre Grammatiken, die diese Sprachen erzeugen und definieren Sie Automaten, die sie akzeptieren.
(1) (ab + bb)* (2) b+ + a+ + c+ (3) (b + a + c)+bc(b + a)* (4) (b + a*)*

P.Brezany

Institut fr Softwarewissenschaft Universitt Wien

Beispiel 5: Konstruieren Sie zu den folgenden Automaten quivalente deterministische Automaten und beschreiben Sie die von den Automaten akzeptierten Sprachen durch regulre Grammatiken und regulre Ausdrcke.
(a)

A1 = ( {q0, q1}, {a, b}, { (q0, a) = {q1}, (q0, b) = {q1}, (q1, a) = {q0, q1} }, q0, {q1} )

(b) A2 = ( {q0, q1 , q2, q3 , q4}, {a, b, c}, { (q0, a) = {q1, q2}, (q1, b) = {q3}, (q2, c) = {q3}, (q3, a) = {q0, q4} }, q0, {q3, q4} ) - (c) A3 = ( {q0, q1 , q2, q3 }, {a, b, c}, { (q0, a) = {q1}, (q1, b) = {q0, q2}, (q2, c) = {q0, q3} }, q0, {q3} )

Beispiel 6: Gegeben sei die formale Sprache L ber dem Alphabet {a,b,c}, die genau jene Wrter w {a, b, c}* enthlt, in denen das Teilwort acb nicht vorkommt.
(a) Geben Sie einen EA A an, der L akzeptiert.
(b) Konstruieren Sie (gegebenenfalls) daraus einen quivalenten determinist. EA A. (c) Beschreiben Sie die Sprache L formal (Mengenschreibweise). (d) Bestimmen Sie eine Grammatik G, die L(G) erzeugt. (e) Beschreiben Sie L durch einen regulren Ausdruck.
P.Brezany Institut fr Softwarewissenschaft Universitt Wien

Beispiel 7: Sei G eine Grammatik mit den folgenden Regeln: S SS | aSb | bSa | Beschreiben Sie L(G). Beispiel 8: Sei G eine Grammatik mit den folgenden Regeln: S aA | , A bS. Beschreiben Sie L(G). Beispiel 9: Sei = {a, b}, Finden Sie eine Grammatik, die die Menge von allen Zeichenketten mit mindestens drei a Symbolen generiert. Beispiel 10: Fr folgende Sprachen finden Sie entsprechende Grammatiken, die Sie generieren Beispiel 11: Sei = {a}. Finden Sie Grammatiken fr die folgende Sprachen:
(a) (b) L1 = {anbm | n 0, m > n} L2 = {anbn-3 | n 3}

Beispiel 12: Sei = {a, b}. Finden Sie eine Grammatik fr die folgende Sprache: L = {w | na(w) = nb(w) + 1}, wo na(w) bezeichnet die Anzahl von a in w, und nb(w) bezeichnet die Anzahl von b in w
P.Brezany Institut fr Softwarewissenschaft Universitt Wien

(a) L1 = {w | |w| mod 3 = 0}. (b) L2 = {w | |w| mod 3 > 0}.