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