- формат djvu
- размер 4.17 МБ
- добавлен
28 сентября 2011 г.
Издательство Наука, 1984, -194 с. В книге излагаются результаты работы авторов по созданию теории конечных автоматов, основанной на применении отношений эквивалентности. Наряду с традиционными задачами, решаемыми в теории автоматов, предлагаемый подход позволяет ставить и решать многие новые задачи, например задачу о реализуемости заданно поведения в автомате определенного класса (инициальном, детерминированном, полностью определенном, автомате...