|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О проверке детерминированности конечных автоматов с временными ограничениямистатья
- Авторы: Винарский Е.М., Захаров В.А.
- Сборник: Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды
- Редакторы: Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
- Серия: 978-5-317-05834-0
- Том: 1
- Год издания: 2018
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 81
- Последняя страница: 83
- Аннотация: Мы предлагаем исследовать модификацию модели автомата с временными ограничениями, в которой выходные реакции следуют в порядке времени их формирования. Наблюдаемое поведение такого рода более трудно для анализа. Мы планируем провести традиционный цикл исследований новой модели автоматов и получить решение задач проверки эквивалентности и минимизации автоматов. Поскольку решение этих задач существенно зависит от того, насколько однозначным является поведение автомата, вначале нужно изучить задачу проверки детерминированности автоматов. Нами установлен критерий строгой детерминированности конечных автоматов с временными ограничениями и предложен алгоритм проверки этого свойства автоматов.
- Добавил в систему: Захаров Владимир Анатольевич