Построить диаграмму для конечного автомата, описанного в примере 9.1.
Если на начальном такте автомат находился в состоянии q0 = 1 и на егo вход в последующие такты подавались символы abb, то, пользуясь диаграммой, можно проследить последовательность преобразований: 1а → 3b → 3с → 3с - выходные символы будут появляться в порядке bсс.