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 = {ABj
     BCi | Ei
     CDj
     DDi | Dj | Dk | Ei
     EFj
     FGk
     GHi | Ii
     HHi | Hj | Hk | Ii
     IJk
     JKi
     K → ε }