Tabela de decisão de um reconhecedor ascendente
Last updated
Last updated
O autómanto de pilho pode ser implementado usando uma tabela de decisão.
Esta tabela contém duas matrizes, ACTION e GOTO
As linhas de ambas são indexadas pelo alfabeto da pilha (conjunto de conjuntos de itens).
A matriz ACTION representa ações.
As colunos são indexadas pelos símbolos terminais da gramática, incluindo o marcador de fim de entrada ($).
As células contêm as ações shift, reduce, accept ou error.
No caso de shift, também inclui o próximo símbolo a colocar na pilha.
A matriz GOTO representa a operação após uma redução.
As colunas são indexadas pelos símbolos não terminais da gramática.
As células indicam que valor colocar na stack após uma ação de redução.
Ao conjunto de conjunto de itens obtidos anteriormente
Corresponde a tabela de decisão
As células vazias representam situações de erro sintático.
Corresponde a tabela de decisão