GP Based on CNF: Example 1/5
8/31
G = (N, T, P, S), where N = {A, B, C, S}, T = {a, b},
P = {S ® AC, C ® SB, A ® a, B ® b, S ® c}
Question: aacbb Î L(G)?
a
a
c
b
b
S[1, 1]
S[2, 2]
S[3, 3]
S[4, 4]
S[5, 5]
={A}
={A}
={S}
={B}
={B}
A ® a
A ® a
S ® c
B ® b
B ® b