|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Полиномиальный алгоритм проверки эквивалентности детерминированных двухленточных автоматовдоклад на конференции
- Автор: Захаров В.А.
- Международная Конференция : X Международная конференция "Дискретные модели в теории управляющих систем"
- Даты проведения конференции: 22-25 мая 2018
- Дата доклада: 24 мая 2018
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Московская область, Можайский район, Красновидово, Russia
-
Аннотация доклада:
Показано, как свести задачу проверки эквивалентности детерминированных 2-ленточных конечных автоматов к задаче проверки эквивалентности слабо недетерминированных трансдьюсеров, которая разрешима за полиномиальное время. Это новый метод проверки эквивалентности 2-ленточных автоматов, и он применим для проверки некоторых видов детерминированных автоматов с произвольным числом лент.
- Добавил в систему: Захаров Владимир Анатольевич