Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Цель данной книги - рассмотрение именно этого последнего аспекта, а именно рассмотрение автомата в качестве алгебраической структуры. Эта алгебраическая структура оказывается достаточно интересной для исследования. Кроме того, алгебраическое строение автомата одновременно дает информацию о строении реальных автоматов. Свидетельством этого является применение алгебраических методов в вопросах декомпозиции автоматов; в первую очередь здесь следует отметить известную теорему Крона - Роудза о декомпозиции полугрупповых автоматов.