Неполнота по Тьюрингу, проблема остановки и Вадузитдо!
Truttle1
0:00 / 0:00
Неполнота по Тьюрингу, проблема остановки и Вадузитдо!
17 185 просмотров · 2 года назад
Truttle1
21,9 тыс. подписчиков
17 185 просмотров · 2 года назад
Waduzitdo — язык программирования, не являющийся полным по Тьюрингу. Это связано с тем, что он может зацикливаться только при условии, что одно булево значение, введенное пользователем, является истинным, и даже в этом случае он может вернуться только к последнему введенному значению. Это означает, что он мало что может сделать. Но если мы используем полный по Тьюрингу язык, например, Python, мы можем определить, останавливается ли программа на Waduzitdo, чего невозможно сделать ни для одного полного по Тьюрингу языка.
ССЫЛКИ:
Waduzitdo Esolangs.org: https://esolangs.org/w/index.php?titl...
Интерпретатор Python: https://github.com/JP20221069/Waduzit...
Форк интерпретатора Python: https://github.com/Truttle1/Waduzitdo-Py
Мои программы: https://github.com/Truttle1/Waduzitdo...
HTML-мем: / html_isnt_a_programming_language_it_is_a_l...
Изображение Troopa: / ttyd_remake_looks_like_jr_troopas_still_ac...
МУЗЫКА:
SimCity 3000 — Uptown Down
Wonder Boy: The Dragon's Trap — Monster's Lair
Paper Mario — Jr Troopa Theme
Kevin MacLeod — Meatball Parade
Paper Mario: The Origami King — Swan Lake Remix
Paper Mario: The Thousand Year Door — Rogueport Sewers
Phoenix Wright: Ace Attourney — Cornered
Super Mario RPG — Seaside Town