PROGRAM ::= SEKCE_DEFINIC | BLOK
SEKCE_DEFINIC ::= DEFINICE*
DEFINICE ::= Definuj IDENTIFIKATOR BLOK
BLOK ::= { VYRAZ* }
VYRAZ ::= BLOK | CYKLUS | PODMINKA BLOK | PRIKAZ
CYKLUS ::= Opakuj PODMINKA BLOK | Opakuj CISLO BLOK
PODMINKA ::= JeSever | JeZed | JeZnacka | Not PODMINKA | PODMINKA Or PODMINKA | PODMINKA And PODMINKA
PRIKAZ ::= VLEVO | VPRAVO | KROK | POLOZ | ZVEDNI | IDENTIFIKATOR
IDENTIFIKATOR ::= PISMENO ( PISMENO | CISLICE )*
CISLO ::= CISLICE+
CISLICE :: = '0' | '1' | '2' | ... | '9'
PISMENO ::= 'a' | 'b' | ... |  'z'