Ybadoo - Soluções em Software Livre
Tutoriais
Linguagens Formais e Autômatos

Desenvolva uma gramática linear à direita sobre o alfabeto Σ = {i, j, k} que reconheça a linguagem L = {w | w possui iki como prefixo, ikji como subpalavra e jij como sufixo}.

G = ({A, B, C, D, E, F, G, H, I, J, K}, {i, j, k}, P, A)
P = {A → iB
     B → kC
     C → iD | iE
     D → iD | jD | kD | iE
     E → kF
     F → jG
     G → iH | iJ
     H → iH | jH | kH | jI
     I → iJ
     J → jK
     K → ε }