Разрешимые множества и машина Тьюринга

[HacTeHkA]

Помогите пожалуйста или объяснить с чего тут хотя бы начать?

Пусть M1 содержится в A* и M2 содержится в A* - разрешимые множества.
Доказать, что M1 объединенное с M2 разрешимо относительно A*.

Несовсем понятно что здесь имеено надо сделать, но надо с помощью машины Тьюринга, вот что пока выходит, т.е.незнаю это ли надо получить?

A={0,1,a,a0} рабочий алфавит. где a0 - символ пустой клетки.

конфигурация работы двух машин тьюринга:
при первой: q1 a ---> q1 a0 R , при a содержашемся в объединении мно-в M1 и M2.
при второй: q1 a ---> q0 0, при a не содержашемся в объединении этих мн-в.

[незваный гость]

Начните с машин Тьюринга, которые распознают $M_1$ и $M_2$. Фокус теперь в том, чтобы сделать одну м.Т. из двух. Идея: состояниями конструируемой м.Т. должны быть пары $(p, q)$, где $p$ — состояние первой машины, а $q$ — второй. Дальше — подумайте.