Инициальный автомат 9tg нарывается автоматом приведенного вида, если 9t есть автомат приведенного вида, причем ЭДд ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Кудрявцев В.Б.
Введение в теорию абстрактных автоматов
Инициальный автомат 9tg нарывается автоматом приведенного вида, если 9t есть автомат приведенного вида, причем ЭДд - инициально связный. Как несложнее следствие теоремы 2.8 получаем, что в классе всех инициальных автоматов, неотличимых от заданного инициального автомата, имеется единственный с точностью до изоморфизма автомат приведенного вида.
