Лабораторная работа по информационным технологиям: теория автоматов и формальных языков

Теория автоматов и формальных языков требует разбирать поведение конечных и стековых автоматов, преобразования грамматик и алгоритмы распознавания строк; в таких лабораторных главное — корректность модели и доказуемая последовательность преобразований.

Что включает работа

• формулировка задачи и постановка входных данных, тестовых примеров;
• построение и описание автоматов (ДКА, НКА, стековые автоматы) или грамматик с шагами преобразования;
• алгоритмы преобразования и доказательства эквивалентности (минимизация, приведение к нормальным формам);
• входные и выходные данные программы, трассировки выполнения и отчёт по тестированию;
• исходные тексты реализованных приложений и пояснительная документация по использованным алгоритмам.

На что обращает преподаватель

Преподаватель смотрит на правильность построенной модели и полноту доказательств: корректно ли описан автомат или грамматика, есть ли пошаговые преобразования, подтверждающие эквивалентность; важны тесты, читаемость кода и соответствие методичке по оформлению.

Что мы делаем: готовим лабораторную в виде отчёта с пояснениями алгоритмов и тестами, при необходимости прилагаем исходники и инструкции по запуску; в конце вы получаете работу, оформленную по теме и методичке, с правками по замечаниям преподавателя до 21 дня — опишите задание в заявке для расчёта.