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