Это МТ, к которой добавлена лента недетерминированного выбора $\psi \in \mathbb{B}^{\infty}$. Выбор перехода в функции $\delta$ осуществляется через чтение этой ленты.