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