{; <Визначення константи>}
<визначення константи>:=<ім'я константи>=<просте вираження>
<ім'я константи>:=<ідентифікатор>
<константа>:=<ціле число> | <ім'я константи>
<розділ опису змінних>:= var <опис змінних> {; <опис змінних>}
<опис змінних>:=<перелік імен>: <тип>
<перелік імен>:=<ідентифікатор> {, <Ідентифікатор>}
<розділ операторів>:=<складений оператор>
<складений оператор>:= begin <послідовність операторів> end
<послідовність операторів>:=<оператор> {; <оператор>}
<оператор>:=[позначка:] <Непомічені оператор>
<Непомічені оператор>:=<оператор присвоювання> | <оператор введення> | <оператор виводу> | <складений оператор> | <оператор безумовного переходу> | <умовний оператор> ; | <цикл з постусловіем> | <операції над рядками>
<оператор присвоювання>:=<змінна>:=<просте вираження>
<оператор введення>:= read (<перелік імен>)
<оператор виводу>:= write (<перелік виразів>)
<перелік виразів>:=<просте вираження> {, <просте вираження>}
<оператор безумовного переходу>:= goto <мітка>
<умовний оператор>:= if <умова> then <оператор> [ else <оператор>]
<цикл з постусловіем>:= repeat <послідовність операторів> until <умова>
<умова>:=<логічний вираз>
<операції над рядками>:=<визначення довжини рядка> | <Конкатенація рядків> | <заміна підрядка в рядку> | <пошук підрядка в рядку> | <доступ до елементу рядка за індексом> | <доступ до підрядку> | <рівність рядків>
<визначення довжини рядка>:=length (<рядок>)
<конкатенація рядків>:=concat (<рядок>, <рядок>)
<заміна підрядка в рядку>:=replace (<рядок>, <подстрока>, <новий рядок>)
<пошук підрядка в рядку>:=pos (<рядок>, <подстрока>)
<доступ до елементу рядка за індексом>:=StrChar (<рядок>, <ціле без знака>)
<доступ до підрядку>:=copy (<рядок>, <ціле без знака>, <ціле без знака>)
<рівність рядків>:=Same (<рядок>, <рядок>)
<подстрока>:=<рядок>
<новий рядок>:=<рядок>
<просте вираження>:=<терм 1> <залишок суми>
<залишок суми>: =? | + < терм 1> <залишок суми> | - <терм 1> <залишок суми>
<терм 1>:=<терм 2> <залишок твори>
<залишок твори>: =? | * < терм 2> <залишок твори> | / <терм 2> <залишок твори>
<терм 2>:=<змінна> | <константа> | (<просте вираження>) | <оператор перетворення типів>
<оператор перетворення типів>:=<тип> (<просте вираження>)
<Логічне вираз>:=<Лог_терм 1> <залишок Лог_сумми>
<зали...