GP Based on CNF: Example 2
/5
9
/31
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
}
S
[1, 2]
S
[2, 3]
S
[3, 4]
S
[4, 5]
=
Æ
=
Æ
={
C
}
=
Æ
?
®
AA
?
®
AS
C
®
SB
?
®
BB