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

Desenvolva uma gramática linear à esquerda 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 → Bj
     B → Ci | Ei
     C → Dj
     D → Di | Dj | Dk | Ei
     E → Fj
     F → Gk
     G → Hi | Ii
     H → Hi | Hj | Hk | Ii
     I → Jk
     J → Ki
     K → ε }