Дополнительная информация
Электронную версию этого пособия можно получить в интернете по ссылке
http://falkvn.narod.ru/dlya_studentov/RegularFormalLanguages.rar
Контрольное задание на построение для заданного графа переходов эквивалентные представления в форме конечного автомата и регулярного выражения можно сгенерировать с помощью программы, архивную форму которой можно получить по ссылке
http://falkvn.narod.ru/dlya_studentov/ZadanieRFL.rar
По ссылке
http://falkvn.narod.ru/dlya_studentov/GeneratorRFL.pas
можно получить исходный текст программы на языке Turbo Pascal , генерирующей указанные задания различной сложности. С этой целью нужно изменить в разделе описания констант соответствующие значения:
-
общее количество букв во всех алфавитах заданий – NAlf;
-
количество букв в алфавите для одного задания: не менее – NAmin, не более – NAmax;
-
количество вершин в заданном графе переходов; нижняя граница – NSmin, верхняя граница – NSmax;
-
количество начальных вершин в графе переходов – нижняя граница – NImin, верхняя граница – NImax;
-
количество заключительных вершин в графе переходов: – нижняя граница – NOmin, верхняя граница – NOmax;
-
количество дуг (переходов) в графе переходов: – нижняя граница – NTmin, верхняя граница – NTmax;
-
количество состояний в эквивалентном конечном автомате: нижняя граница – NSSmin , верхняя граница – NSSmax;
-
количество символов в записи эквивалентного регулярного выражения: нижняя граница – NEmin, верхняя граница – NEmax;
-
строка-путь в файловой системе к папке, в которую будут записаны сгенерированные графы переходов (файл t.txt), построенные эквивалентные конечные автоматы (файл a.txt) и регулярные выражения (файл e.txt).
Требуемое количество заданий вводится как параметр перед запуском программы на выполнение.
Граф переходов и конечный автомат представлены в выходных файлах в форме таблиц переходов (для графов переходов номера строк – номера вершин, из которых выходят дуги, а номера столбцов – номера вершин, в которые дуги заходят, элементы таблицы – буквы алфавита, которыми помечены дуги, вес непомеченных дуг в таблице переходов представлен символом #; для конечных автоматов форма представления описана в пособии). Знаком «минус» помечены номера начальных вершин, знаком «плюс» – заключительных.