S -> ABC | a
A -> aAaa | (eps)
B -> bBbb | (eps)
C -> cCc | c
Dit moet je omzetten naar chomsky normal form, maar is hetgeen ik hier doe en uitkom juist? (eps) = epsilon
1) Eliminate eps-producties
S -> ABC | AC | BC | C | a
A -> aAaa | aaa
B -> bBbb | bbb
C -> cCc | c
2) Unit producties
Enige unit production is van S->C
S-> ABC | AC | BC | cCc | c | a
A -> aAaa | aaa
B -> bBbb | bbb
C -> cCc | c
3) Eliminating useless symbols.
S -> c | a (Generating)
A -> aaa (Generating)
B -> bbb (Generating)
C -> c (Generating)
en allemaal reachable
CNF is :
S-> ABC | AC | BC | cCc | c | a
A -> aAaa | aaa
B -> bBbb | bbb
C -> cCc | c
Is mijn werkwijze juist ?