digito-nao-zero ::= "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9";
digito ::= "0" | digito-nao-zero;

letra ::= "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" |
"r" | "s" | "t" | "u" | "x" | "y" | "w" | "z" | "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" |
"L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "X" | "Y" | "W" | "Z";

caracter ::= digito | letra | ? SÍMBOLO DE PONTUAÇÃO ?; 

literal-natural ::= digito-nao-zero, { digito };
literal-nao-negativo ::= "0" | literal-natural;
literal-inteiro ::= "0" | ["-"], literal-natural;
literal-real ::= ("0" | literal-natural), ".", literal-natural;
literal-booleano ::= "true" | "false";
literal-caracter ::= "'", (caracter - "'"), "'";
literal-string ::= '"', {caracter - '"'}, '"';
literal-intervalo-inteiro ::= "[", literal-inteiro, "..", literal-inteiro, "]";
literal-intervalo-caracter ::= "[", letra, "..", letra, "]";


cadeia ::= "[", literal-nao-negativo, "]";
cadeia-dupla ::= cadeia, cadeia;

tipo-primitivo ::= "int" | "real" | "bool" | "char";
tipo-vetor ::= "vetor", "of", (tipo-primitivo | "intervalo");
tipo ::= tipo-primitivo | tipo-vetor | "string" | "intervalo";


operador-lógico ::= "e" | "ou" | "não";
operador-aritmético ::= "+" | "-" | "*" | "/";
operador-relacional ::= "=", "<", ">", "<=", ">=", "<>";
operadores ::= operador-lógico | operador-aritmético | operador-relacional;