Рис. 5 Исходный автомат