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


5
Чи є музична нотація Тьюрінга-завершеною?
Цікаво, чи є мова нотації Turing-Complete ? Перша моя думка - це те, що в музичній нотації є петлі, але немає можливості написати умовні гілки, правда? Я не музикант, тож, можливо, хтось може допомогти заповнити прогалини?

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

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

4
Вимірювання потужності, відмінне від повноти Тюрінга
Я спочатку намагався задати це питання на StackOverflow, але це було занадто суб'єктивно :-(. Мене цікавлять методи визначення потужності мов програмування. Тюрінг повноти - це одне, але це майже повсюдно задоволено. Що було б добре - визначити наприклад, чи може хтось запропонувати не суб'єктивний метод, який би дискримінував збірку та …

5
Чи можна виразити * будь-яке * програмне завдання без стану?
Це теоретичне запитання, але після багатьох років програмування в тому, що я зараз усвідомлюю, є "нормальною" імперативною технікою, в основному використовуючи C ++, я відкрив цей інший світ функціонального програмування, на який я випадково натрапив, недбало вивчаючи JavaScript. Це змусило мене замислитися, чи не могли б ви технічно замінити будь-яку …

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

1
Чому завершення FRACTRAN завершено?
Я намагався google для пояснення, але більшість посилань говорять лише про такі речі, як "FRACTRAN завершується. Як приклад, давайте розглянемо множення". Я пам'ятаю, як бачив на форумі xkcd форум, що FRACTRAN допоміг плакату зрозуміти повноту Тьюрінга. Я шукаю інтуїтивне пояснення, чому цей езоланг є Тюрінгом повним, оскільки це не дуже …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.