Тьюринг-полные игры

Короче, Склихосовский! В игре можно собрать компьютер с нуля.

Полнота по Тьюрингу — способность системы реализовать любую вычислимую функцию, в том числе и саму себя. Обычно термин «полнота по Тьюрингу» применяется к языкам программирования и прочим умным штукенциям.

Но некоторые видеоигры настолько проработаны, что позволяют в том или ином виде создавать внутри игр полноценные электронно-вычислительные машины разной степени сложности.

На самом деле для этого достаточно всего 3 вещей:

1. двоичный сигнал;
2. логического отрицания;
3. логическое сложение либо умножение.

Булева логика, что поделать, – любую двоичную логическую схему можно свести к сочетанию НЕ и И, либо НЕ и ИЛИ. Однако это не единственный способ построить вычислительную машину, хотя и самый простой.

Примеры

Да миллион раз же было! Автор этой статьи уверен, что неоднократно видел примеры этого тропа, но не может вспомнить достаточное их количество. Может быть, вам придёт на ум ещё хотя бы парочка?

• Кто бы мог подумать, но внезапно… Cities: Skylines! Вот пруф.
• Dwarf Fortress — один из первых широко известных примеров. Причём создать свои логические элементы можно 5 разными путями (вода, животные, механика, вагонетки, существа), а ещё можно совмещать. Подробнее в тематической вики.
• Minecraft — также является сабжем. Энтузиасты даже сделали на Майнкрафте сам Майнкрафт.
• Factorio — если в примерах выше приходилось изворачиваться, чтобы делать повторители, ячейки памяти и пр., то тут с этим несколько проще. Запилить свой компьютер на комбинаторах? Вперёд.
• Stationeers — в игре есть чипы, которые можно программировать на внутреннем языке ассемблера.
• Scrap Mechanic — так же при помощи очень сильного колдунства и матана можно собрать ЭВМ и тут.
• Terraria — в игре имеются элементы двоичной логики, так что можно без проблем собрать калькулятор, и это, если неимоверно сильно запариться, означает что на нём можно и саму Террарию сделать.
  • Starbound — ситуация аналогичная с Террарией.
• Существует игрушка с названием Turing Complete. Название содержанию соответсвует.
• Geometry Dash, а если быть точнее, 2 последних обновления, 2.1 и 2.2. Всё благодаря триггерам, а также блокам столкновения. В том числе имеем воссоздания самой игры, в том числе в 3D (при том, что движок самой игры 2D). Ну а воссозданий других игр и просто мини-игр полным полно.
• Моды на логические элементы для песочниц. Например такие есть для Garry’s Mod — Wiremod на Lua — и Minecraft (с прикрученным фитильком, так как только уменьшают и ускоряют схемы, которые и так можно собрать из краснокамня) — RedPower и его переделки Project:Red, RedLogic и BluePower. Первый также позволяет создавать полноценные программы на языке FORTH, как и его идеологический последователь NedoComputers. А если хочется писать на Lua, то есть ComputerCraft и OpenComputers.
• OpenTTD — значительно лучше подходящий для статуса первопримера, чем Dwarf Fortress. Логика на блок-участках.
• Oxygen Not Included.