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

Я студент CS. Я розумію, як Тьюрінг придумав свою абстрактну машину (моделювання людини, що робить обчислення), але мені здається це незграбною, неелегантною абстракцією. Чому ми вважаємо "стрічку" і машинну головку, що пише символи, змінюючи стан, зміщуючи стрічку вперед і назад? Яке основне значення? DFA елегантний - він, здається, фіксує саме …

67 turing-machines  computation-models 

Ми знаємо, що проблема зупинки (на машинах Тьюрінга) не можна визначити для машин Тьюрінга. Чи є якісь дослідження того, наскільки добре людський розум може впоратися з цією проблемою, можливо, за допомогою машин Тьюрінга або комп'ютерів загального призначення? Примітка . Очевидно, що в найсуворішому сенсі ви завжди можете сказати "ні", тому …

60 computability  turing-machines  halting-problem  human-computing 

Чи існує набір мов програмування на мові програмування для того, щоб він вважався Тюрінг завершеним? З того, що я можу сказати з вікіпедії , мова повинна підтримувати рекурсію, або, здавалося б, повинна бути здатна працювати без зупинки. Це все є для цього?

55 computability  programming-languages  turing-machines  turing-completeness 

Я погоджуюся, що машина Тьюрінга може робити "всі можливі математичні проблеми". Але це тому, що це лише машинне подання алгоритму: спочатку зробіть це, потім зробіть, нарешті, виведіть це. Я маю на увазі все, що можна вирішити, можна представити алгоритмом (тому що саме це визначення 'розв’язуваного'). Це просто тавтологія. Я нічого …

54 algorithms  turing-machines  automata  computation-models 

Щодо квантових обчислень, яка еквівалентна модель машини Тьюрінга? Мені цілком зрозуміло, як квантові схеми можуть бути побудовані з квантових воріт, але як ми можемо визначити квантову машину Тюрінга (QTM), яка може насправді отримати вигоду від квантових ефектів, а саме працювати на високомірних системах?

52 quantum-computing  turing-machines  computation-models 

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

41 computability  turing-machines  automata  pushdown-automata 

Чи є якісь теоретичні машини, які принаймні в деяких областях перевищують можливості Тюрінга?

39 computability  turing-machines  hypercomputation 

Я бачу, що більшість визначень того, що означає бути Тюрінгом, є тавтологічними до певної міри. Наприклад, якщо ви Google "що означає" Тюрінг повний ", ви отримуєте: Комп'ютер є Тьюрінгом повним, якщо він може вирішити будь-яку проблему, яку машина Тьюрінга може ... Хоча дуже чітко визначено, чи є різні системи Тьюрінга …

34 turing-machines  turing-completeness 

Алан Тьюрінг запропонував модель машини (машина Тьюрінга, ТМ), яка обчислює (числа, функції тощо) і доводила теорему Холтінга . TM - це абстрактне поняття машини (або двигуна, якщо вам подобається). Теорема зупинки - результат неможливості. Carnot Engine (CE) - це абстрактне поняття теплового двигуна, і Карно довів теорему Карно , ще …

31 turing-machines  halting-problem  entropy 

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

30 computability  turing-machines  quantum-computing  nondeterminism 

Теза Церкви-Тьюрінга стверджує, що все, що фізично можна обчислити, можна обчислити на машині Тюрінга. У статті "Аналогові обчислення через нейронні мережі" (Siegelmannn and Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) стверджується, що нейронна сітка певної форми (параметри представлені в роботі) є більш потужною. Автори стверджують, що за …

29 computability  turing-machines  church-turing-thesis 

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

29 turing-machines  computability  computation-models 

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

29 computability  turing-machines  combinatorics 

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

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Проблема зупинки констатує, що не існує алгоритму, який би визначав, чи припиняється дана програма. Як наслідок, повинні бути програми, про які ми не можемо сказати, припиняються вони чи ні. Які найпростіші (найменші) відомі приклади таких програм?

27 computability  turing-machines  halting-problem