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

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

29 computability  turing-machines  church-turing-thesis 

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

23 programming-languages  mathematical-foundations  church-turing-thesis 

Є багато (і я маю на увазі багато) лічильних мов, які можна визначити Тьюрінгом. Чи може будь-яка незліченна мова бути Тюрінгом вирішальною?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Існують релятивістські космічні часи (наприклад, MH spacetimes; див. Hogarth 1994), де світова лінія нескінченної тривалості може міститися в минулому кінцевого спостерігача. Це означає, що звичайний спостерігач може мати доступ до нескінченної кількості кроків обчислення. Якщо припустити, що комп'ютер може бездоганно функціонувати протягом нескінченного періоду часу (і я знаю, що це …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Якщо у нас є будь-яка довільна комп'ютерна програма, яка може змінювати її вказівки, чи можна імітувати цю програму програмою, яка не може змінювати її інструкції? Редагувати: Я новачок у stackexchange, тому не впевнений, чи мені дозволяють задати НОВЕ запитання тут, але ось так: Добре, тому доказ того, що це можливо, …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Я бачив веб-сайти, які хочуть "довести", що HTML5 + CSS є Turing завершеним. Я бачив веб-сайти, які мають на меті "довести", що SQL є Turing завершеним. Я бачив купу веб-сайтів, які хочуть "пояснити", що означає бути Тьюрінгом завершеним. Достатньо! Де я можу знайти книгу (написану експертом з теорії обчислюваності) або …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Я хотів би процитувати з Nielsen & Chuang, Квантове обчислення та квантова інформація, 10-річчя видання, сторінка 5 (акцент мій): Один клас викликів сильній тезі Церкви – Тьюрінга походить з області аналогових обчислень. За роки з часу Тьюрінга багато різних дослідників помітили, що певні типи аналогових комп'ютерів можуть ефективно вирішувати проблеми, …

9 computation-models  church-turing-thesis