partial automaton

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