libcats.org
Главная

Конечные автоматы: эквивалентность и поведение

Конечные автоматы: эквивалентность и поведение

, , ,
В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например, задачу о реализуемости заданного поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате с конечной памятью), задачу об эквивалентности двух инициальных автоматов и др.Книга предназначена для специалистов, работающих в области исследования и проектирования дискретных управляющих устройств, а также для математиков, специализирующихся в теории автоматов и языков их описания.
Популярные книги за неделю:
#5

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги: