|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Проверка эквивалентности временных автоматов с тайм-аутамикурсовая работа (Бакалавр)
- Научный руководитель: Подымов Владислав Васильевич
- Автор: Дорофеев Степан Алексеевич
- Тип: Бакалавр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Кафедра математической кибернетики
- Год защиты: 2024
- Курс: 3
- Аннотация: В работе предложен алгоритм проверки эквивалентности (совпадения распознаваемых языков) автоматов-распознавателей с тайм-аутами, основанный на преобразовании автомата в систему уравнений над языками и применении метода исключения переменных для проверки совместности этой системы. Автоматы рассматриваемого класса выполняются в контексте реального времени со спонтанным (без чтения символов) изменением состояний согласно описанию автомата при долгом ожидании символа.
- Добавил в систему: Подымов Владислав Васильевич