Стартовое состояние T и соответственно T1. Изначально будет работать машина T1. Работать она будет до конца. После этого будет некоторое промежуточное состояние, после которого МТ T2 начнет работу. Рисунок ниже соответствует окончанию работы T1 и началу работы промежуточного состояния.
Дальше необходимо выйти из промежуточного состояния (подробно в лекции 10 на 8.12).
Выход выглядит так: 
. После этого начинает работу вторая машина: 
После этого идет обычная работа машины 2.
42. Машина Тьюринга – определение. Стандартная МТ. Опишите МТ, реализующую ветвление
Определение
Машина Тьюринга — абстрактная вычислительная машина, состоящая из ленты с ячейками,
головки для чтения и записи, программы (управляющего устройства). Бывают стандартными,
недетерминированными, с несколькими лентами, с несколькими головками и тд.
Определение стандартной МТ
Стандартная МТ имеет одну бесконечную ленту, содержит символ пустоты, может перемещаться только на одну ячейку и является детерминированной (для каждого состояния и
символа функция перехода строго определяет следующее действие)
Реализация
Ветвление – это условный оператор
Пусть 
– распознающая МТ. МТ 
вычисляет функцию 
, а МТ 
– функцию 
. Тогда существует МТ 
вычисляющая функцию