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