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

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

49 computability  lambda-calculus  turing-machines 

У мене є три споріднених підпитання, які виділені пунктами кулі внизу (ні, їх не вдалося розділити, якщо вам цікаво). Андрій Бауер писав тут , що деякі функції можна реалізувати за допомогою машини Тьюрінга, але не через лямбда-числення. Ключовим кроком його міркувань є: Однак, якщо ми використовуємо обчислення лямбда, тоді [програма] …

48 computability  lambda-calculus  turing-machines 

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

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Реальні комп'ютери мають обмежену пам’ять і лише обмежену кількість станів. Отже вони по суті є кінцевими автоматами. Чому теоретичні комп'ютерні вчені використовують машини Тьюрінга (та інші еквівалентні моделі) для вивчення комп'ютерів? Який сенс вивчати ці набагато сильніші моделі стосовно реальних комп'ютерів? Чому кінцевої моделі автоматів недостатньо?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Може кожна функція , що обчислимо в часі на одній машині Тьюринга з використанням алфавіту розміру бути обчислений час на односмуговій машині Тьюрінга з використанням алфавіту розміром (скажімо, та порожнього)?t k = O ( 1 ) O ( t ) 3 0 , 1 ,f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k = …

40 computability  turing-machines 

Я шукаю остаточну відповідь на те, чи є генерація "справді випадкових" чисел обчислювальною Тюрінгом. Я не знаю, як це точно викласти. Це питання StackExchange щодо "ефективних алгоритмів генерації випадкових чисел" близький до відповіді на моє запитання. Чарльз Стюарт каже у своїй відповіді: "це [випадковість Мартіна-Лефа] неможливо генерувати машиною". Росс Снайдер …

39 reference-request  computability  turing-machines  randomness 

Пол Вегнер та Діна Голдін вже більше десяти років публікують праці та книги, стверджуючи передусім про те, що теза Церкви Тьюрінга часто неправильно представлена ​​у спільноті «Теорія ЦС» та інших місцях. Тобто він представлений як охоплює всі обчислення, коли насправді він стосується лише обчислення функцій, що є дуже невеликим підмножиною …

38 computability  turing-machines  machine-models  church-turing-thesis 

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

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

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

33 turing-machines  decidability 

Я хочу закодувати просту машину Тюрінга в правилах карткової гри. Я хотів би зробити його універсальною машиною Тьюрінга, щоб довести повноту Тьюрінга. Поки що я створив ігровий стан, який кодує двошарову, 3-символьну машину Тюрінга Алекса Сміта . Однак, схоже, (вірно базується на Вікіпедії), існує певна суперечка щодо того, чи справді …

31 computability  turing-machines  universal-computation 

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

29 computability  randomness  turing-machines 

Ми знаємо, що (див., Наприклад, теореми 1 та 3 [1]), грубо кажучи, при відповідних умовах функції, які можна ефективно обчислити машиною Тьюрінга в поліноміальний час ("ефективно обчислюватися"), можна виразити поліноміальними нейронними мережами з розумними розмірами, і, таким чином, можна пізнати складність поліноміального зразка ("навчається") при будь-яких вхідних розподілах. Тут «вивчається» …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

У цій статті із Вікіпедії про повноту Тьюрінга вказується, що: Нетипічне обчислення лямбда - це Тьюрінг завершений, але багато типізованих лямбда-розрахунків, включаючи систему F, не є. Значення набраних систем ґрунтується на їх здатності представляти найбільш типові комп'ютерні програми при виявленні більшої кількості помилок. Що таке приклад загальної обчислювальної функції, яка …

28 computability  turing-machines  haskell 

Припустимо, я хотів формалізувати доказ Тьюрінга щодо проблеми зупинки, щоб машина могла її перевірити. Деякі з відомих автоматизованих систем доведення теорем включають Mizar, Coq та HOL4. Я завантажував і експериментував з Coq, але він не має бібліотеки для машин Тьюрінга. Я думав сам кодувати його, але знайшов, що підручник не …

28 lo.logic  turing-machines  software  proof-assistants  automated-theorem-proving 

Якщо ми підемо за книгою (або будь-якою іншою версією специфікації мови, якщо вам зручніше), яку обчислювальну потужність може мати реалізація C? Зауважте, що "реалізація C" має технічне значення: це особливе опис специфікації мови програмування C, де документально визначена поведінка. Реалізація змінного струму не повинна працювати на фактичному комп’ютері. Він повинен …

28 computability  turing-machines  pl.programming-languages  recreational