Сильная теорема Райса скачать в хорошем качестве

Сильная теорема Райса

Здесь мы доказываем «более сильную» версию теоремы Райса, которая затрагивает нетривиальные свойства языков машин Тьюринга. Основная идея заключается в добавлении дополнительного ограничения на то, каким может быть свойство. Таким образом, мы можем свести дополнение к A_TM к свойству, и первое нераспознаваемо, поэтому само свойство не может быть распознаваемым. Это сильнее, поскольку исходная теорема Райса показывает только неразрешимость, но не обязательно нераспознаваемость. Что такое теорема Райса? Это результат, показывающий, что многие языки неразрешимы с помощью простых критериев, включая нетривиальность языка (непустота и не всё), а также то, содержит ли язык машины Тьюринга, и основан ли критерий принадлежности к языку на критерии машин Тьюринга. Подробнее см.    • How to Use Rice's Theorem in 5 Minutes  . Внести свой вклад: Patreon:   / easytheory   Discord:   / discord   Товары: Одежда Language Hierarchy: https://teespring.com/language-hierar... Одежда Pumping Lemma: https://teespring.com/pumping-lemma-f... Если вам нравится этот контент, подпишитесь на мой канал:    / @easytheory   Сторонники уровня Ultimate: (нет) Сторонники уровня Diamond: (нет) Сторонники уровня Platinum: (нет) Сторонники уровня Gold: Аноним (x1), Мика Вуд, Бен Притчард Сторонники уровня Silver: Тимми Джи Сторонники: Яш Сингхал ▶ДОПОЛНИТЕЛЬНЫЕ ВОПРОСЫ◀ 1. Какие ещё ограничения на P можно использовать для доказательства нераспознаваемости? 2. Какой достаточный критерий может показать, что P и дополнение к P нераспознаваемы? ▶ОТПРАВЬТЕ МНЕ ВОПРОСЫ ПО ТЕОРИИ◀ [email protected] ▶ОБО МНЕ◀ Я профессор компьютерных наук и увлечён теорией вычислительных систем. Я читал более 12 курсов в Университете штата Аризона и Университете Колгейт, включая несколько разделов теории для студентов.