Рис. 17 Исходный конечный автомат