Теорема 12.10 каждому многообразию групповых автоматов сопоставляет три вложенных друг в друга многообразия групп. Теорема ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Теорема 12.10 каждому многообразию групповых автоматов сопоставляет три вложенных друг в друга многообразия групп. Теорема 12.11 каждой такой тройке многообразий групп сопоставляет многообразие групповых автоматов. Следующее утверждение показывает, что это соответствие обладает определенными свойствами замкнутости.