Tabela de decisão de um reconhecedor ascendente

Introdução

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

Last updated