универсальный вычислитель

Не лезь, гуманитарий, в математику. У тебя для нее мозгов слишком мало.

Чувак, тебя щас порвет. Смотри тема: допустим есть язык L, с двумя валидными программами.

Первая:

H

Вторая:

T

Является ли язык L тьюринг полным?

Ящитаю это достойно еще пары тредов.

Смотри тема: допустим есть язык L, с двумя валидными программами.

Точней 2 валидные программы на языке L

Считывает правила перехода машины тьюринга и запускает ее.

Что значит считывает? Ты уверен, что ты понимаешь о чем ты говоришь? Считать не значит реализовать.

запускает ее.

Ну, допустим, ты запускаешь свой комп. Являешься ли ты эквивалентом своего компа?

Является ли язык L тьюринг полным?

Вообще, я сомневаюсь, что язык можно называть тьюринг полным или неполным. Это все устоялось, да, но язык — это всего лишь набор правил. Возможно есть смысл говорить об эквивалентности вычислителя МТ.

А главное — вся эта вода не имеет отношения к теме.

Да, кстати, зачем тебе понадобилась первая программа, в плане выражения твоей мысли? Каким она тут боком? Почему нет третьей, которая выводит «bye-bye»

Почему мы должны считать МТ универсальным вычислителем, а не В?

Мы считаем универсальным вычислителем и МТ и В.

man изоморфизм

Потому что МТ - это абстракция.

Нипочему. Это просто традиция в учебниках такая.

Например, в (на) Мехмате НГУ понятие вычислимости вводилось через рекурсивные функции, а не МТ.

понятие вычислимости вводилось через рекурсивные функции, а не МТ

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

В — это тоже абстракция.

Нет.

И МТ, и В — универсальные вычислители, эквивалентные друг другу, не?

Да.

Почему мы должны считать МТ универсальным вычислителем, а не В? Какие есть основания для этого?

Спит девушка и снится ей сон, как она бежит по темной аллее и за ней гонится мужчина. Устав, она останавливается, поворачивается, и в отчаянии кричит:
- Отстаньте же от меня! Что вам от меня нужно?!
А мужчина ей отвечает:
- Я не знаю. Это же ваш сон, вы и разбирайтесь!

Да, но это общепринятое.