Выдержка из книги
Кудрявцев В.Б.
Введение в теорию абстрактных автоматов
Опишем простой условный эксперимент Е, установочный для У. Согласно лемме 2.13 из § 4, существует входное слово а, переводящее любой автомат из Жт п в сильно связный подавтомат и проходящее по всем ребрам диаграммы этого подавтомата. Эксперимент Е проводится по шагам и начинается с предварительного шага.
