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

На святкування дня народження Алана Тьюрінга Google опублікував логотип із зображенням машини. Що це за машина - каракуль? Чи може він виражати мову Тьюрінга? У класичної машини тюрінга очевидні відмінності: обмежена стрічка, обмеження в тому, як можна підключити стан, ... Бовдур все ще доступний тут (Дисплей у верхньому правому куті …

10 cc.complexity-theory  turing-machines 

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

10 turing-machines  dc.distributed-comp 

Я грав із дуже цікавим і досі відкритим питанням " Алфавіт односмугової машини Тюрінга " (Емануеле Віола) і придумав наступну мову: L = { x ∈ { 0 , 1 }н ст | х | = n = 2м і c o u n t 1 ( x ) = …

10 cc.complexity-theory  turing-machines  time-complexity 

Більшість літератури, здається, стосуються машин з одинарними оракулами для конкретних проблем, однак, мабуть, є кілька робіт, які розглядають машини з декількома оракулами. Чи є хороший документ або теза, яка дає огляд того, що відомо про такі машини? Зокрема, мене цікавить Р з кількома оракулами.

10 oracles  turing-machines 

Мені деякий час цікаво ставитись до машин Тюрінга з рівно однією стрічкою та рівно 3 станами (а саме стартовий стан , стан прийняття та стан відхилення ). Зауважте, що я дозволяю довільні (кінцеві) алфавіти стрічки (тобто алфавіт стрічки не обмежений рівним алфавітом введення).q0q0q_0qacceptqacceptq_{accept}qrejectqrejectq_{reject} Для зручності зателефонуйте до класу мов, розпізнаваних …

9 automata-theory  turing-machines  cellular-automata 

Чи розпізнають недетерміновані лінійно-обмежені автомати з обмеженим відвідуванням лише регулярні мови? Під недетермінованим лінійним обмеженим автоматом (nLBA) я маю на увазі односмугову недетерміновану машину Тюрінга, де вхід надходить «з підкладкою» з кінцевими маркерами на обох кінцях, які ніколи не можна перезаписати, і так, щоб голова ніколи не могла рухатися з …

9 automata-theory  turing-machines  regular-language  space-bounded 

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

9 turing-machines  proof-theory  halting-problem