Разбить задачу на подзадачи с отдельными баллами за каждую.

• Простой однопроходный интерпретатор без проверок корректности
• Вывод типов для возможности использовать регулярки по максимуму
• Проверять необъявленные нетерминалы
• Проверять недостижимые нетерминалы
• Проверять непорождающие нетерминалы