Изменения

Ячейки памяти можно построить с помощью стабильныx конструкций, т.е. мы можем построить ленту МТ.<br>Можно также построить Передачу данных можно осуществлять c помощью планеров: наличие планера {{---}} <tex>1</tex>, отсутствие {{---}} <tex>0</tex>.<br> 

Заметим, что управляющая часть МТ считывает с ленты входную строчку и завершается, записав на ленту выходную строчку. Без ограничения общности, будем рассматривать бинарные строки. Следовательно, управляющая часть МТ есть булева функциявида <tex>f:\{0, 1\}^n \rightarrow \{0, 1\}^m </tex>.Заметим, что можно построить функции такого вида из булевых функций <tex>f_i:\{0, 1\}^n \rightarrow \{0, 1\}</tex>:<tex>f(x_1, x_2, x_3 ... x_n) = f(f_1(x_1, x_2, x_3 ... x_n), f_2(x_1, x_2, x_3 ... x_n), ... f_m(x_1, x_2, x_3 ... x_n) </tex>.<br><br>