Исходник алгоритма удаления недостижимых символов КС-грамматики на С / C++

Язык программирования и среда разработки( создания программы ) : C / C++ , Microsoft Visual Studio.

Название созданной программы : Удаление недостижимых символов КС-грамматики

Формальная грамматика или просто грамматика в теории формальных языков — способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa. Различают порождающие и распознающие (или аналитические) грамматики — первые задают правила, с помощью которых можно построить любое слово языка, а вторые позволяют по данному слову определить, входит оно в язык или нет.

Контекстно-свободная грамматика (КС-грамматика, бесконтекстная грамматика) — частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой левые части всех продукций являются нетерминалами.
Созданная программа принимает на вход произвольную КС-грамматику.
Разработанная программа проверяет пуст ли язык и преобразует исходную КС-грамматику в эквивалентную, не содержащую недостижимых символов.
Исходные данные описывают грамматику в виде четверки G = (N, S, P, S). Файл с исходными данными содержит (в указанном порядке):

• Число нетерминалов |N|,
• Нетерминалы N,
• Число терминалов |S|,
• Терминалы S,
• Число правил |P|,
• Правила P,
• Начальный символ грамматики S.

Созданная ( разработанная ) программа написана на C++. Исходник созданной программы хорошо прокомментирован.
Если возникнут вопросы по исходнику созданной программы я буду рад на них ответить.
Разработанная ( созданная ) программа может быть изменена под Ваши условия.
Вы можете заказать создание графического эквивалента данной консольной программы.
Вы можете заказать создание ( разработку ) программы, ПО по Вашему заданию.