Это МТ, где функция перехода $\delta$ задана однозначно