<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