idealized automaton

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