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

Мат. idealized automaton