Требования, предъявляемые к системе

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

В этом разделе приводится список требований (requirements), которые должна реализовывать система. Также этот список можно рассматривать как список предоставляемых функций. Он помог нам определить границы нашей работы.

Требования к архитектуре системы

Возможность динамического расширения функциональности системы (добавление новых преобразований, новых преобразователей и т.д.), с помощью механизма добавляемых модулей (plug-ins).

Возможность использование модулей системы из других программ.

Функциональные возможности

Формальные грамматики.

Работа с формальными грамматиками: ввод, отображение, сохранение, редактирование.

Преобразование формальных грамматик:

Анализ формальных грамматик (проверка принадлежности к различным типам)

Распознаватели и преобразователи

Создание, редактирование, моделирование следующих абстрактных устройств.

ЛЛ1 грамматики. ЛЛ1 анализатор.

Построение по ЛЛ1 грамматики управляющей таблицы для работы ЛЛ1 анализатора.

Возможность ручного ввода управляющей таблицы и сохранение ее в файле.

Моделирование работы ЛЛ1 анализатора с возможностью пошаговой работы.

Алгоритм "перенос-свертка". Грамматики предшествования.

Построение матрицы предшествования для формальной грамматики. Построение функций переноса (f) и свертки (g) для грамматик:

Моделирование алгоритма переноса-свертки для грамматик предшествования с возможностью пошаговой работы.

Алгоритмы анализа LR0, SLR1 языков.

Построение по LR0 и SLR1 грамматикам управляющих таблиц для работы анализатора.

Возможность ручного ввода управляющей таблицы и сохранение ее в файле.

Моделирование работы LR0 и SLR1 анализаторов с возможностью пошаговой работы.