'''BH<sub>1N</sub>''' = <tex>\{ \langle m, x, 1^{t} \rangle | m </tex> — НМТ, <tex> m(x)=1, T(m, x)\le t \}</tex>.
Так же Также можно рассматривать языки '''BH<sub>1D</sub>''', '''BH<sub>2N</sub>''', '''BH<sub>2D</sub>''', отличающиеся от '''BH<sub>1N</sub>''' только детерминированностью машин Тьюринга (D - детерминированная, N - недетерминированная) или системой счисления, в которой представляется время (1 - унарная, 2 - бинарная).
==Теорема==
