GP Based on CNF: Example 1
/5
6
/10
G
= (
N
,
T
,
P
,
S
), where
N
= {
A
,
B
,
C
,
S
},
T
= {
a
,
b
},
P
= {
S
®
A
C
,
C
®
S
B
,
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