Declaración de programa

::=

"class program { "
     [ Declaración de Método] ...
     "program () "
      Bloque
"}"
 EOF

Declaración de método

::=

Tipo   Firma de método
       Bloque

Firma de método

::=

Identificador  Parámetro opcional

Parámetro opcional

::=

"(" [ Identificador ] ")"

Tipo

::=

{ "void" | "define" }f

Argumento vacío

::=

"(" ")"

Argumento opcional

::=

"(" [ Expresion entera ] ")"

Expresión

::=

( Bloque
| Expresión vacía
| Expresión if
| Expresión while
| Expresión iterate
| Expresión turnoff
| Expresión turnleft
| Expresión move
| Expresión pickbeeper
| Expresión putbeeper
| Expresión return
| Expresión de llamada )

Bloque

::=

"{" [ Expresión ] ... "}"

Expresión vacía

::=

";"

Expresión de llamada

::=

Identificador   Argumento opcional ";"

Expresión entera

::=

{ Decimal 
| Identificador
| "pred" "(" Expresión entera ")"
| "succ" "(" Expresión entera ")" }

Término

::=

Cláusula Y [ "||" Cláusula Y ] ...

Cláusula Y

::=

Cláusula No [ "&&" Cláusula No ] ...

Cláusula No

::=

[ "!" ] Cláusula Atómica

Cláusula atómica

::=

{ "iszero" "(" Expresión entera ")"
| Función Booleana
| Argumento vacío
| "(" Término ")" }

Expresión if

::=

"if" "(" Término ")" Expresión ["else" Expresión ]

Expresión while

::=

"while" "(" Término ")" Expresión

Expresión iterate

::=

"iterate" "(" Expresión entera ")" Expresión

Expresión turnoff

::=

"turnoff" Argumento vaciío ";"

Expresión turnleft

::=

"turnleft" Argumento vacío ";"

Expresión move

::=

"move" Argumento vacío ";"

Expresión pickbeeper

::=

"pickbeeper" Argumento vacío ";"

Expresión putbeeper

::=

"putbeeper" Argumento vacío ";"

Expresión return

::=

"return" Argumento vacío ";"

Identificador

::=

Letra [ Letra | Dígito | "-" ] ...

Decimal

::=

{ {"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"} [ Dígito ] ...
| "0" }

Cadena

::=

Cualquier cosa entre comillas en una única línea

Función Booleana

::=

{"frontIsClear"
| "frontIsBlocked"
| "leftIsClear"
| "leftIsBlocked"
| "rightIsClear"
| "rightIsBlocked"
| "nextToABeeper"
| "notNextToABeeper"
| "anyBeepersInBeeperBag"
| "noBeepersInBeeperBag"
| "facingNorth"
| "facingSouth"
| "facingEast"
| "facingWest"
| "notFacingNorth"
| "notFacingSouth"
| "notFacingEast"
| "notFacingWest"}

Dígito

::=

{"0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"}

Letra

::=

Una letra del alfabeto

EOF

::=

Marca el final del fichero

Definición del panel instantáneo

Programa instantáneo

::=

[ Declaración de método
| Declaración de enlace
| Expresión ] ...
 EOF

Están soportados los dos tipos de comentario de JAVA/C++:

• /* Comentario en la misma línea*/
• // Comentario para el resto de la línea