Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "XIV международный научный семинар "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (20-25 июня 2022 г., Москва)"
Авторы: Назарова Е.А., Порошин И.С.
Проверка эквивалентности расширенных конечных автоматов
Аннотация:
Конечный автомат может быть использован как модель для описания и анализа поведения дискретных систем. В этой статье предлагается приближённый алгоритм проверки эквивалентности двух расширенных конечных автоматов, основанный на понятии предикатной абстракции. Также проводится экспериментальная оценка схожести расширенного конечного автомата и его предикатной абстракции.
Ключевые слова:
конечные автоматы, проверка эквивалентности
Язык публикации: русский,  страниц: 4 (с. 228-231)
Полный текст на русском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Назарова Екатерина Андреевна,  НИУ Высшая школа экономики
  • Порошин Илья Станиславович,  orcid.org/0000-0002-6327-9956НИУ Высшая школа экономики