Проблемы с универсальной машиной Тьюринга

Если у меня есть машина, назовите ее машиной 1, который может решить проблему: это - просто машина, не по сути Машина Тьюринга. Это может решить одну определенную проблему. Если эта точно та же самая проблема может быть решена на Универсальной машине Тьюринга, то является моей исходной машиной, 1, Универсальная машина Тьюринга также?

Это не содержит для всех проблем, который уже является ansered. Есть ли какие-либо проблемы, которые это описало свойство вообще? Если это абсолютно не верно, то почему?

Может кто-то давать пример проблемы, которая будет решена. Если эта проблема решена моей исходной машиной, 1, определенно делает это Universal, Поворачивающей Машину? Или такая проблема не существует? Если это не делает существует, почему?

Я очень интересно, но не могу понять это... Спасибо.

Править: сделанный более ясным вопросом.

9
задан Pindatjuh 3 April 2010 в 12:59
поделиться

6 ответов

Точка универсальной поворотной машины (UTM) состоит в том, что для любого Turing Machine (TM) вы можете взять на себя TM и создать кодировку для него, которая описывает работу TM и иметь это кодировка работает на другом TM.

У UTM является TM, который имеет определение достаточно мощное, так что любое другое определение TM может быть переписано в него.

Подумайте о UTM в качестве переводчика. TM - это определенная задача.

Если TM не также в классе переводчиков, то это не является UTM. (Потому что UTM также является специально заданным TM).

Итак, чтобы ответить на ваш второй вопрос: если вы можете показать, что UTM и TM эквивалентны, то вы показали, что TM также является UTM. Для этого вам нужно быть в состоянии показать, как кодированная программа для UTM может быть изменена в эквивалентную программу для TM.

1
ответ дан 4 December 2019 в 19:33
поделиться

Универсальная машина Тьюринга может решить любой код, который может решить любая конкретная машина Тьюринга.

Так что ваша универсальная машина turing (2) может решить проблему, для решения которой была разработана ваша оригинальная машина turing (1).

Ваша оригинальная машина мукомола (1) однако может решить только эту точную проблему и не может решить любую другую проблему (включая "проблему" того, что ваша оригинальная машина мукомола является универсальной машиной мукомола).

Так что нет, согласно вашему описанию, ваша оригинальная машина Тьюринга не является универсальной машиной Тьюринга. (Это может быть, если вы определите ее, но это обман).

1
ответ дан 4 December 2019 в 19:33
поделиться

Попробуйте

Regex.Replace(YOURTEXT, "(.{8})", "$1 ");
-121--4950751-

Я предлагаю использовать шаблон и отправить список предметов в шаблон.

Пример Jinja2 шаблон (Atom, не RSS, но вы получаете идею), предполагая, что предметы являются 3-кортежами (заголовок, ссылка, html):

<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <author>Author's name</author>
    <title>Feed title</title>
    {%for item in items %}
    <entry>
        <title>{{item[0]}}</title>
        <link href="{{item[1]}}"/>
        <content type="html">{{item[2]}}</content>
    </entry>
    {%endfor%}
</feed>

Код для подачи содержимого в шаблон и вывода результата:

import jinja2
env = jinja2.Environment(loader=jinja2.FileSystemLoader("."))
print env.get_template("feedtemplate.xml").render(items=get_list_of_items())
-121--4648566-

Универсальная машина тьюринга может решить любой из огромного класса

Если ваша машина (1) может решить 1 + 1, это не означает, что она может решить любой из огромных классов. Таким образом, это может быть не универсальная машина Тьюринга.

5
ответ дан 4 December 2019 в 19:33
поделиться

Кто-нибудь может привести пример проблемы, которую нужно решить.

Конечно: Учитывая закодированный токарный станок и данные, какой результат :) Если ваш станок может решить эту проблему, то это наверняка UTM.

Знаете ли вы линию рассуждений о том, почему эти различные проблемы находятся в NP? Например: "Могу ли я решить проблему с 3-мя координатами, когда у меня есть машина, которая решает гамильтоновскую проблему?" Вы наверняка можете использовать ту же самую строку, чтобы ответить на свой вопрос.

1
ответ дан 4 December 2019 в 19:33
поделиться

Для небольших команд, таких как ваши, Atlassian's Bamboo Server интеграционного интеграции Bamboo - это отличное решение и только стоимость $ 10 $ 20 с нашей лицензионной программой стартера (потому что она требует как Jira, & Bamboo, 10 долларов / МО каждый). 100% выручки идут в комнату для чтения, отличные некоммерческие строительные школы и библиотеки для детей-привилегированных детей в развивающихся странах.

Бамбук работает на Windows, Mac или Linux, и если вы хотите масштабировать свою сборку в будущем, вы можете добавить больше удаленных агентов в помещениях или использовать упругие агенты, которые работают в облаке Amazon EC2.

Чтобы добавить поддержку Git, вы захотите скачать и установить плагин GIT Bamboo из плагинов.atlassian.com.

-121--4378916-

Логины различаются между «достаточными» и «необходимыми» условиями. Возьмите, например, предложение

Небо синее.

(Давайте просто предполагаем, что это всегда правда). То, что вы знаете сейчас, это:

, когда вы смотрите на небо, вы видите синий цвет.

Что вы не Знаете, это так:

Когда вы видите цвет синего цвета, вы смотрите на небо.

- Вы также можете смотреть на машину своего соседа.

В логических терминах синий цвет должен для неба для неба, но это недостаточно.

То же самое верно для вашего случая: Machine (1) решает вашу проблему, так что это действительно разрешаемая проблема. Следовательно, возможность решить проблему, представляет собой нужд для UTM, но не достаточно одного, потому что UTM должен быть в состоянии решить любую проблему (это вообще решается) , не только этот единственный.

2
ответ дан 4 December 2019 в 19:33
поделиться

Доказательство полноты по Тьюрингу конкретной системы нетривиально, если только вы не сможете легко показать, что она эквивалентна / изоморфна другой системе, которая, как известно, является полной по Тьюрингу . Итак, короткий ответ: не существует простого теста, через который вы могли бы провести свою машину, чтобы проверить, завершена ли она по Тьюрингу. Вы должны проанализировать и показать свойства системы в целом.

Если вы хотите узнать больше об этой теме, прочтите эти статьи о полноте по Тьюрингу и теории вычислимости .

1
ответ дан 4 December 2019 в 19:33
поделиться