Ejemplo 310 #

Enunciado #

Dada la siguiente gramática G:

programa ⟶ programa def
        | ε

def ⟶ tipo listaId ‘;’

tipo ⟶ INT | DOUBLE

listaId ⟶ IDENT
        | listaId ‘,’ IDENT

Determinar si la siguiente entrada es válida. En caso afirmativo, construir su árbol de análisis gramatical (árbol concreto).

int a, b;
double x;

Solución #

La entrada es válida, ya que se puede llegar a dicha cadena realizando transformaciones a partir del símbolo inicial programa.

La secuencia de transformaciones ha quedado registrada en este árbol: