Аннотация
В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить
и решать многие новые задачи, например, задачу о реализуемости заданного поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате с конечной памятью), задачу об эквивалентности двух неинициальных автоматов и др.
Книга предназначена для специалистов, работающих в области исследования и проектирования дискретных управляющих
устройств, а также для математиков, специализирующихся в теории автоматов и языков их описания.
Содержание:
Конечные автоматы - модель и поведение
Описание регулярных множеств
Некоторые дополнения к теории ЯЭП
Язык эквивалентных преобразований и конечно-автоматные множества
Множества с конечной памятью
Некоторые приложения
Комментарии к книге "Конечные автоматы: эквивалентность и поведение [Москва, "Наука"]"