finite-state automaton

Скінченний автомат