Вопросы с тегом «turing-machines»

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

5
Разница между машиной Тьюринга и конечным автоматом?
Я делаю презентацию о машинах Тьюринга, и я хотел бы рассказать о FSM, прежде чем представлять машины Тьюринга. Проблема в том, что я действительно не знаю, что ОЧЕНЬ отличается друг от друга. Вот что я знаю, это другое: FSM имеет последовательные состояния в зависимости от соответствующего условия, в то время …

6
Есть ли физическая аналогия с машиной Тьюринга?
Недавно в классе CS я познакомился с машиной Тьюринга. После урока я потратил более 2 часов, пытаясь выяснить, какова связь между лентой и машиной. Я не знал о существовании компьютерных лент или о том, как ленты и машины взаимодействовали до сегодняшнего дня. Я до сих пор не понимаю, почему машина …

5
Практическая значимость машин Тьюринга?
Я инженер-электрик, и у меня был только один курс CS в колледже 26 лет назад. Тем не менее, я также преданный пользователь Mathematica. У меня есть ощущение, что машины Тьюринга очень важны в информатике. Разве важна только теория информатики? Если есть практические последствия / применения, каковы некоторые из них?

6
Может ли вход на машину Тьюринга быть бесконечной длины?
Учитывая только алфавит , строки, которые могут быть заданы в качестве входных данных для машин Тьюринга, взяты из набора . Но имеет ли смысл для ввода быть бесконечной двоичной строкой? Например, если машина Тьюринга принимает все строки, начинающиеся с 0, относится ли двоичная строка с бесконечными нулями к языку, принятому …

4
Доказательство неразрешимости проблемы остановки
У меня возникли проблемы с пониманием доказательства неразрешимости проблемы остановки. Если возвращает то, останавливается ли программа a на входе b , почему мы должны передавать код P для a и b ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Почему мы не можем подать с помощью P и некоторого произвольного ввода, скажем, x ?H()H()H()PPPИксxx

6
Рекурсивное и рекурсивно перечислимое определение языка для дилетанта
Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Мигрировал 6 лет назад . Я встречал много определений рекурсивных и рекурсивно перечислимых языков. Но я не мог понять, кто они. Может кто-нибудь сказать мне, что они простыми словами?

4
Существуют ли неразрешимые языки в конструктивистской логике?
Конструктивистская логика - это система, которая исключает Закон Исключенной Среды, а также Двойное Отрицание как аксиомы. Это описано в Википедии здесь и здесь . В частности, система не допускает доказательств от противного. Мне интересно, кто-нибудь знаком с тем, как это влияет на результаты, касающиеся машин Тьюринга и формальных языков? Я …

1
Квантово-вычислительные машины и машины Тьюринга. Являются ли машины Тьюринга точной мерой?
На уроке на прошлой неделе мой профессор прокомментировал и сказал, что машины Тьюринга используются в качестве стандартной меры / модели того, что является вычислимым, и являются полезной основой для обсуждения этого вопроса. Она также сказала, что все варианты машин Тьюринга оказались вычислительно эквивалентными - читаемыми, такими же мощными - как …

5
Почему функциональные языки Тьюринга завершены?
Возможно, мое ограниченное понимание предмета неверно, но это то, что я понимаю до сих пор: Функциональное программирование основано на лямбда-исчислении, сформулированном Алонзо Черчем. Императивное программирование основано на модели машины Тьюринга, созданной Аланом Тьюрингом, учеником Черча. Лямбда-исчисление является таким же мощным и способным, как и машина Тьюринга, что означает , что …

4
Всегда ли машина останавливается?
Машина Тьюринга, которая возвращается в ранее обнаруженное состояние со своей головкой чтения / записи в той же ячейке той же самой ленты, будет зациклена. Такая машина не останавливается. Может ли кто-нибудь привести пример никогда не останавливавшейся машины, которая не зацикливается?

5
Может ли проблема остановки быть «решена» путем перехода к более высокоуровневому описанию вычислений?
Недавно я услышал интересную аналогию, которая гласит, что доказательство Тьюринга неразрешимости проблемы остановки очень похоже на парадокс Рассела. Поэтому мне стало интересно: математикам в конечном итоге удалось согласовать теорию множеств, перейдя от наивной формулировки поля Кантора к более сложной системе аксиом (теория множеств ZFC), сделав важные исключения (ограничения) и дополнения …

2
Проблемы, которые доказуемо требуют квадратичного времени
Я ищу примеры проблемы, которая имеет нижнюю границу ) для входа x .Ω ( | x |2Ω(|x|2\Omega(|x|^2Иксxx Проблема должна иметь следующие свойства: доказательство времени выполнения для любого алгоритма - первым приоритетом должен быть как можно более простой аргумент нижней границы.Ω ( n2)Ω(n2)\Omega(n^2) Алгоритм O ( n 2 ) , если …

1
Как я могу преобразовать машину Тьюринга, распознающую язык
Согласно этой статье в Википедии , неограниченные грамматики эквивалентны машинам Тьюринга. В статье отмечается, что я могу преобразовать любую машину Тьюринга в неограниченную грамматику, но она показывает только, как преобразовать грамматику в машину Тьюринга. Как мне действительно это сделать и преобразовать машину Тьюринга, распознающую язык в неограниченную грамматику? Я пытался …

2
Является ли машина Тьюринга без возможности записи на пустые ячейки менее мощной, чем стандартная Тьюринг?
Является ли машина Тьюринга без возможности записи на пустые ячейки менее мощной, чем стандартная Тьюринг? Я думаю, что ответ - да, но я не могу найти вычисление, которое может сделать стандартная машина Тьюринга, но эта машина не может. Есть идеи?

4
Определение проблемы остановки для недетерминированных автоматов
Основное определение машины Тьюринга (ТМ), по крайней мере, в моем собственном справочнике (Hopcroft + Ullman 1979), является детерминированным. Следовательно, мое собственное понимание проблемы остановки главным образом относится к детерминированной ТМ, хотя я знаю, что это может быть рассмотрено для других видов автоматов. Я также заметил, что детерминизм часто более или …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.