Скачать или смотреть Пустота для машин Тьюринга неразрешима

Здесь мы показываем, что задача E_TM неразрешима. Предположим, что она разрешима, а затем построим решатель для задачи A_TM, который, по идее, не может существовать. Ключевая идея заключается в создании новой машины с пустым языком тогда и только тогда, когда M принимает w.

Что такое машина Тьюринга? Это конечный автомат с набором состояний, входными данными, алфавитом ленты, начальным состоянием, ровно одним состоянием принятия и ровно одним состоянием отклонения. Подробнее см.    • Turing Machines - what are they? + Formal ...  .

Сайт Easy Theory: https://www.easytheory.org
GoFundMe: https://www.gofundme.com/f/easy-theor...
Patreon:   / easytheoryyt  
Fourthwall: https://easy-theory-llc-shop.fourthwa...
Канал «Решение проблем»: ⁠ @easytheoryprobsolve

Если вам нравится этот контент, подпишитесь на мой канал:    / @easytheory