1. <signal-program> --> <program>
2. <program> --> PROGRAM <procedure-identifier>;<block>.
3. <block> --> <variable-declarations> BEGIN <statements-list> END
4. <variable-declarations> --> VAR <declarations-list>|<empty>
5. <declarations-list> --> <declaration><declarations-list>|<empty>
6. <declaration> --><variable-identifier>:<attribute><attributes-list> ;
7. <attributes-list> --> <attribute> <attributes-list> | <empty>
8. <attribute> --> INTEGER | FLOAT | [<range>]
9. <range> --> <unsigned-integer> .. <unsigned-integer>
10. <statements-list> --> <statement> <statements-list> | <empty>
11. <statement> --> <variable> := <expression> ; | LOOP <statements-list> ENDLOOP ;
12. <expression> --> <variable> | <unsigned-integer>
13. <variable> --> <variable-identifier><dimension>
14. <dimension> --> [ <expression> ] | <empty>
15. <variable-identifier> --> <identifier>
16. <procedure-identifier> --> <identifier>
17. <identifier> --> <letter><string>
18. <string> --> <letter><string> | <digit><string> | <empty>
19. <unsigned-integer> --> <digit><digits-string>
20. <digits-string> --> <digit><digits-string> | <empty>
21. <digit> --> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
22. <letter> --> A | B | C | D | ... | Z
| Тест | Коректний | Причина помилки |
| test01 | NO | Використовується ідентифікатор, який не було визначено |
| test02 | YES | |
| test03 | YES | |
| test04 | YES | |
| test05 | YES | |
| test06 | YES | |
| test07 | YES | |
| test08 | NO | Різний тип змінних |
| test09 | NO | Різний тип змінних |
В усіх помилкових тестах в коментарях наведено причину помилки. Також саму помилку можна подивитися детально в файлі expected.txt.