Sintaxis

CFG en BNF |
|
|
| | | | | | | | |
| <PROGRAM> ::= “programa” “id” <FUNCIONES> “fin” | | | |
| <FUNCIONES> ::= <FUNCIONES> ”[“<FUNC>”]” |”[“<FUNC>”]” | | | |
| <FUNC> ::= “funcion” ”id” “(“ <PARAMETROS> “)” <EA> | | | |
| <PARAMETROS> ::= <PARAM> | e | | | | | |
| <PARAM> ::= “id”“,” <PARAM> | “id” | | | | | |
| <EA> ::= <EA> ”+” <A> | <EA> ”-” <A> | <A> | | | | |
| <A>::= <A> ”*” <X> | <A> ”/”<X> | <X> | | | | | |
| <X> ::= “id” | “const” | “(“ <A> “)” | <IF> | | | | | |
| <ER> ::= <EA> <OPREL> <EA> | | | | | |
|<OPREL> ::= “<” | “>” | “=” | “<>” | | | | | |
| <EL> ::= <EL> “or” <B> | <B> | | | | | |
| <B>::= <B> “and” <C> | <C> | || | | | |
| <C>::= “not” <C> | <ER> | “{” <EL> ”}” | “true” | “false” | | | |
| <if>::= “si” <LISTADEPARES> “sino” <EA> | | | | |
|<LISTADEPARES>::= <EL>“:”<EA>";" <LISTADEPARES> | <EL>“:”<EA> | | |
| | | | | | | | |
| | | | | | | | |
Sin ambigüedad, factorizada y sinrecursividad por izquierda |
|
|
| | | | | | | | |
| | | | | | | | |
| FACTORIZADA | | | | |
| | | | | |
| | | | | | | | |
| <PROGRAM> ::=“programa” “id” <FUNCIONES> “fin” | | | |
| <FUNCIONES> ::= <FUNCIONES> ”[“ <FUNC> ”]” | ”[“<FUNC>”]” | | | |
| <FUNC> ::= “funcion” ”id” “(“<PARAMETROS> “)” <EA> | | | |
| <PARAMETROS> ::= <PARAM> | e | | | | | |
| <PARAM> ::= “id” <D> | | | | | | |
| <D>::= “,” <PARAM>...