линейный автомат

Мат. linear automaton