observable automaton

Мат. наблюдаемый автомат