Теория языков программирования

Написать программу, которая по заданному регулярному выражению построит эквивалентную грамматику (по желанию разработчика – грамматика может быть контекстно-свободной или регулярной). Программа должна сгенерировать по построенной грамматике и регулярному выражению множества всех цепочек в указанном диапазоне длин,
проверить их на совпадение. Процесс построения цепочек отображать
на экране. Для подтверждения корректности выполняемых действий
предусмотреть возможность корректировки любого из построенных множеств пользователем (изменение цепочки, добавление, удаление…).
При обнаружении несовпадения в элементах множеств должна выдаваться диагностика различий – где именно несовпадения и в чём они состоят.
Можно использовать языки C, C++, Python