Теория автоматов и формальных языков

Основные функции программного средства описаны в виде методов классов Automat в таблице 1.2. Класс Rule содержит только конструктор и get-методы set-методы. Классы классы NondeterminateAutomat и DeterminateAutomat реализуют методы класса Automat, что позволяет пользоваться классами с помощью класса-родителя.
Методы класса Automat
Название Входные параметры Выходные параметры Назначение
Automat
public DeterminateAutomat ToDeterminate() Нет Возвращает детерминированный конечный автомат Возвращает детерминированный конечный автомат
public NondeterminateAutomat ToNondeterminate() Нет Возвращает недетерминированный конечный автомат Возвращает недетерминированный конечный автомат
public virtual bool IsInputOk() нет Признак допустимости входа Определяет допустимость входной строки
public virtual bool NextStep() нет Признак успешности следующего шага Переводит автомат в следующую конфигурацию

Заключение

В ходе выполнения курсовой работы были:
— закреплены понятия «автомат с магазинной памятью (МПавтомат)», «расширенный МП-автомат», «конфигурация МП-автомата»; «строка и язык, допускаемые МП-автоматом»;
— сформированы умения и навыки построения МП-автомата и расширенного МП-автомата по КС-грамматике, разбора входной строки с помощью МП-автомата.
Спроектировано и разрабатоно программное средство, выполняющее следующие функции:
а) ввод произвольной формальной грамматики и проверка ее на принадлежность к классу КС-грамматик;
б) построение МП-автомата по КС-грамматике;
в) построение расширенного МП-автомата по КС-грамматике.