Anonymous

<delim> -> ';'
<alfa> -> 'A' | 'B' | ... | 'Z' | 'a' | 'b' | ... | 'z'
<digito> -> '0' | ... | '9'
<alnum> -> <alfa> | <digito>
<caractere> -> ' <todos, exceto '> '
<literal> -> <literal-cadeia> | <literal-integer> | <literal-real> | <literal-caractere>
<literal-integer> -> <digito> { <cont-literal-integer*> }
<cont-literal-integer*> -> (<digito> | E) <cont-literal-integer*>
<literal-real> -> <digito+> "." <cont-literal-real> <digito+>
<literal-digito+> -> <digito> <literal-digito*>
<literal-digito*> -> E | <literal-digito+>
<literal-caractere> -> ' <item-literal-caractere*> '
<item-literal-caractere*> -> (<caractere> <item-literal-caractere*> | E)
<identificador> -> <alfa> <cont-identificador*>
<cont-identificador*> -> '_' <alnum> | <alnum> | <cont-identificador*> | E
<id-ou-literal> -> <literal> | <id>
<programa> -> "programa" <identificador> <delim> <var?> inicio <lista-declarações*> fim.
<lista-declarações*> -> <lista-declarações+> | E
<lista-declarações+> -> <item-declaração> { <item-declaração> }
<item-declaração> -> <declaração> <delim>
<bloco> -> "{" <lista-declarações+> "}"
<var?> -> E | "var" <itemvar+> <delim>
<itemvar+> -> <tipo> <nomevar+> <delim> <próximo-itemvar?>
<nomevar+> -> <identificador> <proximo-nomevar?>
<proximo-nomevar?> -> "," <identificador>
<proximo-nomevar?> -> E
<próximo-itemvar?> -> <itemvar> | E
<expressão> -> (<expressão> <op> <expressão> | '(' <expressão> ')' | '-' <expressão> | <id-ou-literal>)
<op> -> ('+' | '-' | '*' | '/' | '>=' | '<=' | '==' | '!=')
<declaração> -> <comando> '(' <argumentos+> ')'
<argumentos+> -> <id-ou-literal> { cont-argumentos* }
<cont-argumentos+> -> (',' <id-ou-literal> | E)
<declaração> -> <declaração-atribuição> | <declaração-se> | <declaração-enquanto> | <declaração-comando>
<declaração-atribuição> -> <identificador> ":=" <expr>
<declaração-se> -> "se" <expr> "então" <bloco> <declração-senão>
<declaração-senão> -> "senão" <bloco>
<declaração-enquanto> -> "enquanto" <expressao> "faça" <bloco>
<declaração-comando> -> <comando> <argumentos>