✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Considere a GLC G = ({S,T},{a,b}, S, {S→ aSb|T, T→bTa|L}). Qual dos seguintes APs reconhece a linguagem L(G) pelo critério de pilha vazia?
M1=({q},{a,b}, {a,b,S,T}, q, S, Æ, d1)
(q,a,X) | d1(q,a,X) |
(q, L, S) | {(q,aSb),(q,T)} |
(q, L, T) | {(q,bTa),(q,L)} |
(q,a,a) | {(q,L)} |
(q,b,b) | {(q,L)} |
… | Æ |
M2=({q,p,h},{a,b}, {a,b,S,T,H}, p, H, {h}, d2)
(q,a,X) | d2(q,a,X) |
(p, L, H) | {(q,SH)} |
(q, L, H) | {(h, L, H)} |
(q, L, S) | {(q,aSb),(q,T)} |
(q, L, T) | {(q,bTa),(q,L)} |
(q,a,a) | {(q,L)} |
(q,b,b) | {(q,L)} |
… | Æ |
M3=({q},{a,b}, {a,b,S,T}, q, S, Æ, d3)
(q,a,X) | d3(q,a,X) |
(q, L, S) | {(q,aS),(q,T)} |
(q, L, T) | {(q,bbTa),(q,L)} |
(q,a,a) | {(q,L)} |
(q,b,b) | {(q,L)} |
… | Æ |
M4=({q,p,h},{a,b}, {a,b,S,T,H}, p, H, {h}, d4)
(q,a,X) | d4(q,a,X) |
(p, L, H) | {(q,SH)} |
(q, L, H) | {(h, L, H)} |
(q, L, S) | {(q,aS),(q,T)} |
(q, L, T) | {(q,bbTa),(q,L)} |
(q,a,a) | {(q,L)} |
(q,b,b) | {(q,L)} |
… | Æ |