Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов

Лапутенко, Андрей Владимирович; Винарский, Евгений Максимович; Твардовский, Александр Сергеевич

Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов

Лапутенко, Андрей Владимирович, Винарский, Евгений Максимович, Твардовский, Александр Сергеевич

Дата публикации: 2022

Дата публикации в реестре: 2023-02-06T15:02:09Z

Ключевые слова:
полуавтоматы, расширенные полуавтоматы, эквивалентность, методы проверки эквивалентности

Тип: статьи в сборниках

Источник: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75

Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов

Связанные документы (рекомендация CORE)

Новости проекта

Новости

Партнеры

Индексация