частичный автомат

Мат. partial automaton