Парсер расширенных регулярных выражений для CFL

Необходимо написать программу, которая решает задачу описанную на скриншоте "Задача" (см. прикрепленные файлы)

В более простом и понятном виде, алгоритм программы выглядит примерно так:

1)Сначала строим грамматику по выражению из файла "Definition" по definition 10

2)Потом порождаем парсер по этой грамматике, используя алгоритм Cocke-Younger-Kasami или Earley(Можно использовать самые общие:

- переводим в форму нормальной Грейбах и дальше Early

- переводим в грейбах, а потом ДФС -

3)Затем считываем слова и говорим принадлежит ли грамматике или нет

Итого: Первая программа считывает выражение, строит грамматику и порождает парсер в бинарном файле. Дальше бинарник можно запустить, и он будет считывать слова и говорить, принадлежит ли слово грамматике

Дедлайн и цена обсуждается