regular automaton

Мат. правильный [регулярный] автомат