Запитання з тегом «turing-machines»

Я веду презентацію про машини Тьюрінга, і мені хотілося ознайомитись з FSM, перш ніж представити машини Тьюрінга. Проблема в тому, що я дійсно не знаю, чим ДУЖЕ відрізняється один від одного. Ось що я знаю, що це інакше: FSM має послідовні стани залежно від відповідної умови, дотримуючись, коли машини Тьюрінга …

27 terminology  turing-machines  finite-automata  machine-models 

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

27 turing-machines  computation-models 

Я інженер-електрик і 26 років тому мав лише один курс навчання в коледжі. Однак я також відданий користувач Mathematica. У мене є відчуття, що машини Тьюрінга дуже важливі в інформатиці. Чи має значення лише теорія інформатики? Якщо є практичні наслідки / програми, які з них є?

27 turing-machines 

Враховуючи лише алфавіт , рядки, які можна подати як вхід до машин Тьюрінга, з набору Σ ∗ . Але чи має сенс вхід бути нескінченним двійковим рядком? Наприклад, якщо машина Тьюрінга приймає всі рядки, починаючи з 0, чи двійковий рядок нескінченних нулів також належить до мови, прийнятої машиною Тюрінга?Σ = …

26 turing-machines 

У мене виникають проблеми з розумінням доказів нерозбірливості проблеми зупинки. Якщо повертає програма чи ні а привали на вході б , то чому ми повинні передати код P і для а і б ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Чому ми не можемо подати з P та деяким довільним введенням, скажімо, x ?H()H()H()PPPxxx

25 computability  turing-machines 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 6 років тому . Я натрапив на багато визначень рекурсивних та рекурсивно перелічених мов. Але я не міг повністю зрозуміти, що вони є. Може хтось, будь ласка, скажи мені, що вони …

24 formal-languages  computability  turing-machines 

Конструктивістська логіка - це система, яка знімає як аксіоми Закон виключеного середини, а також подвійне заперечення. Це описано у Вікіпедії тут і тут . Зокрема, система не дозволяє довести протиріччя. Мені цікаво, чи знайомий хтось із тим, як це впливає на результати стосовно машин Тюрінга та формальних мов? Я зауважую, …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

На уроці минулого тижня мій професор прокоментував і сказав, що машини Тьюрінга використовуються як стандартний показник / модель того, що можна обчислити, і є корисною основою для обговорення цього питання. Вона також сказала, що всі варіанти машин Тьюрінга виявляються обчислювально еквівалентними - читати, настільки ж потужними - як один одного. …

24 turing-machines  quantum-computing 

Можливо, моє обмежене розуміння теми є неправильним, але це те, що я розумію поки що: Функціональне програмування засноване на обчисленні лямбда, сформульованому Церквою Алонцо. Імперативне програмування базується на моделі машини Тьюрінга, зробленої Аланом Тьюрінгом, студентом Церкви. Обчислення лямбда настільки ж потужне і здатне, як і машина Тюрінга, тобто вони є …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Машина Тьюрінга, яка повертається у раніше зустрічається стан із головою для читання / запису на тій же комірці точно такої ж стрічки, потрапить у цикл. Така машина не зупиняється. Чи може хтось навести приклад машини, яка ніколи не зупиняється?

22 computability  turing-machines  halting-problem 

Нещодавно я почув цікаву аналогію, яка стверджує, що докази Тьюрінга про нерозбірливість проблеми зупинки дуже схожі на парадокс перукаря Рассела. Тому мені стало цікаво: математикам вдалося зрештою зробити теорію множин послідовною шляхом переходу від наївного формулювання поля Кантора до більш складної системи аксіом (теорія множин ZFC), роблячи важливі виключення (обмеження) …

21 computability  turing-machines  computation-models  halting-problem 

Я шукаю приклади проблеми, яка має нижню межу ) для введення . xΩ(|x|2Ω(|x|2\Omega(|x|^2xxx Проблема повинна мати такі властивості: Ω(n2)Ω(n2)\Omega(n^2) доказ виконання для будь-якого алгоритму - першочерговим завданням є якомога простіший аргумент нижньої межі. O(n2)O(n2)O(n^2)Алгоритм , якщо можливо, також простий. Розмір (або менший). Очевидно, що будь-яка проблема, яка вимагає подовженого виводу, …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Відповідно до цієї статті у Вікіпедії , необмежені граматики еквівалентні машинам Тьюрінга. У статті зазначається, що я можу перетворити будь-яку машину Тьюрінга в необмежену граматику, але вона лише показує, як перетворити граматику на машину Тьюрінга. Як мені це зробити і перетворити машину Тюрінга розпізнавану мову в необмежену граматику? Я спробував …

19 formal-grammars  turing-machines  simulation 

Чи машина Тьюрінга без можливості запису на порожні комірки менш потужна, ніж у стандартних Тьюрінга? Я думаю, що відповідь - так, але я не в змозі знайти обчислення, які може зробити стандартна машина Тьюрінга, але ця машина не може. Будь-які ідеї?

18 formal-languages  turing-machines  computability  automata 

Основне визначення машини Тьюрінга (ТМ), принаймні в моєму власному довідковому підручнику (Hopcroft + Ullman 1979), є детермінованим. Звідси моє власне розуміння проблеми зупинки стосується насамперед детермінованих ТМ, хоча я усвідомлюю, що це може розглядатися для інших типів автомати. Я також зауважив, що детермінізм часто більш-менш неявний в тому, як люди …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata