Problema: LRprimeiro (LR)

Considere a seguinte gramática
    S -> E
    E -> e | pF;
    F -> E | EF
Crie o correspondente autómato finito determinista dos items válidos LR(1) e depois construa uma resposta priANS para as seguintes cinco perguntas:
  • Quantos estados tem o autómato?
  • Em quantos estados ocorrem conflitos LR(0)?
  • A gramática é LR(0)?
  • A gramática é LR(1)?
  • A gramática é LALR(1)?
(Adaptado do exame de LFA 2005/06, 28/Jun/2006, pergunta 5.)

Formato do input

A sua submissão deve consistir na declaração de resposta, com o nome pedido.

Para exemplificar, eis a declaração duma outra resposta:

Por favor, não se esqueça do "ponto" no final no termo.