Lösung

Formale Systeme, Automaten, Prozesse SS 2010
Musterlösung - Übung 8
S → R a A | R c C | R c R c | c
A → SB | CB | R c B
B → R b S | R b C | R b R c
C → R c C | R c R c
R a → a
R b → b
R c → c
.
Tutoraufgabe 5 (CYK-Algorithmus):
Gegeben sei die folgende Grammatik G.
S → SS | R a A | R b B | R c C
A → R b R c | R c R b
B → R a R c | R c R a
C → R a R b | R b R a
R a → a
R b → b
R c → c
Testen Sie mit dem CYK-Algorithmus, ob die folgenden Wörter von G erzeugt werden.
a) w 1 = abccab
b) w 2 = abcba
Lösung:
w = a b c c a b
a)
1 R a R b R c R c R a R b
2 C A B C
3 S S
4
5
6 S
⇒ w 1 ∈ L(G)
w = a b c b a
b)
1 R a R b R c R b R a
2 C A A C
3 S S
4
5
4