Это проблема, которая определяет всякий раз, когда слово «член» $ \ в $ L (M), решительно или нет?

Question

Учитывая Turging Machine M на алфавите {m, e, b, r}, которые мы просят определить, если член $ \ in $ l (m). Вы должны понимать, что M - не в одной конкретной машине и может быть каким-либо автоматом с одним и тем же алфавитом. Моя цель состоит в том, чтобы определить всякий раз, когда эта проблема является решительной или нет.

Моя идея заключалась в использовании сопоставления.Цель состояла в том, чтобы увидеть, сможем ли мы перевести все проблемы из $ a_ {Tm} $ , который, как известно, является неразрешен в нашу текущую проблему.Это сделало бы нашу текущую проблему неразрешенной по заражению.Однако я борюсь в этом, потому что я не уверен, сможет ли это возможно. $ a_ {tm} $ определяется как Turing M M, который принимает слово w.

Любая помощь, чтобы остановиться будет оценена.

Answer 1

Я бы попробовал это:

Снижение из $ a_ {tm} $ : дан tm $ a $ und $ W $ .

Используйте, что для определения новой машины $ a '$ работает следующим образом:

1. Беги, как $ a $ на входе $ W $
2. Если $ a $ regjects $ W $ , перейдите в вечную петлю.
3. Если $ a $ принимает, удалить содержимое полосы и запись "участника"