<programa> ---> <principal> <funciones>

| <principal>

<principal> ---> VOID MAIN(VOID){<lineascodigos>}

<lineascodigos> ---> <lineacodigo>

| /*empty*/

<lineacodigo> ---> <lineacodigo> <linea>

| <linea>

<linea> ---> <invocarmetodo>;

| <crearvariable>;

| <cambiarvalor>;

| <buclecondicion>

<invocarmetodo> ---> NOMBRECAMPO(<parametrosenvio>)

<parametrosenvio> ---> <parenvio>

| /*empty*/

<parenvio> ---> <parenvio>,<penvio>

| <penvio>

<penvio> ---> <valor>

| NOMBRECAMPO

<valor> ---> ENTERO

| DECIMAL

| BOLEANO

| CADENA

<crearvariable> ---> <tipodato> NOMBRECAMPO

| <tipodato> NOMBRECAMPO <asignarvalor>

<tipodato> ---> T_ENTERO

| T_DECIMAL

| T_BOLEANO

| T_CADENA

<asignarvalor> ---> ASIGNADOR <operasignacion>

 | ASIGNADOR <valor>

| ASIGNADOR NOMBRECAMPO

<operasignacion> ---> <aritmetico>

| <invocarmetodo>

| <incredismivariable>

<aritmetico> ---> <oprcomun>

| <oprcomun> <oprcomplemento>

<oprcomun> ---> <valor> <tipoopr> <valor>

| <valor> <tipoopr> NOMBRECAMPO

| NOMBRECAMPO <tipoopr> <valor>

| NOMBRECAMPO <tipoopr> NOMBRECAMPO

<tipoopr> ---> SUMA

| RESTA

| MULTIPLICACION

| DIVISION

<oprcomplemento> ---> <oprcomplemento> <oprcom>

| <oprcom>

<oprcom> ---> <tipoopr><valor>

| <tipoopr> NOMBRECAMPO

<incredismivariable> ---> NOMBRECAMPO <indis>

<indis> ---> AUMENTAR

| DISMINUIR

<cambiarvalor> ---> NOMBRECAMPO ASIGNADOR <cambvalor>

<cambvalor> ---> <valor>

| <operasignacion>

| NOMBRECAMPO

<buclecondicion> ---> <condicionif>

| <buclefor>

| <buclewhile>
<condicionif> ---> <condicionsi>

| <condicionsi> <condicionno>

| <condicionsi><condicionessino><condicionno>

<condicionsi> ---> SI(<condicion>)[<lineascodigos>]

<condicion> ---> <valor> <condicional> <valor>

| <valor> <condicional> NOMBRECAMPO

| NOMBRECAMPO <condicional> <valor>

| NOMBRECAMPO <condicional> NOMBRECAMPO

<condicional> ---> MAYOR

| MENOR

| IGUAL

| MAYORIGUAL

| MENORIGUAL

| NOIGUAL

<condicionno> ---> NO[<lineascodigos>]

<condicionessino> ---> <condicionessino><condicionsino>

| <condicionsino>

<condicionsino> ---> SINO(<condicion>)[<lineascodigos>]

<buclefor> ---> PARA(<iniciafor>;<condicion>;<incredismivariable>)[<lineascodigos>]

<iniciafor> ---> <tipodato> NOMBRECAMPO <asignarvalor>

<buclewhile> ---> MIENTRAS(<condicion>)[<lineascodigos>]

<funciones> ---> <funciones> <funcion>

| <funcion>

<funcion> ---> <tiporetorno> NOMBRECAMPO

(<parametrosin>) {<lineascodigos>}

<tiporetorno> ---> <tipodato>

| VOID

<parmetrosin> ---> <parametros>

| /*empty*/
<parametros> ---> <parametros>,<parametro>

| <parametro>

<parametro> ---> <tipodato> NOMBRECAMPO