— Автомат, у которого в некоторые такты работы набор входных символов и внутреннее состояние задают альтернативный выбор набора выходных символов и/или внутреннего состояния А.Н. в последующем такте работы.