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