Sem querer, acabou sendo Turing-completo
(beza1e1.tuxen.de)Dizer que algo é Turing-completo (https://en.wikipedia.org/wiki/Turing_completeness) significa que, assumindo que não há limitações de tempo ou espaço, ele consegue fazer exatamente as mesmas coisas que um computador como normalmente conhecemos. Mas há muitos casos em que ser Turing-completo é algo inconveniente, ou em que ninguém tinha pensado muito nisso e, sem querer, acabou sendo Turing-completo. Fiz uma tradução leve da lista.
-
Templates de C++
-
Sistema de tipos do TypeScript
-
Genéricos de Java
-
Unidade de gerenciamento de memória (MMU) do x86
-
Conjunto de regras de Magic: The Gathering (jogo de cartas)
-
HTML5 + CSS3
-
Minecraft
-
Dwarf Fortress
-
SQL
-
Pré-processador de C (apenas quando se permite entrada infinita)
-
Regras do
mod_rewritedo Apache -
Pokémon Yellow (um pouco discutível, já que reescreve o código do jogo usando vulnerabilidades de segurança?)
-
Sistema de tipos de Scala
-
Templates do MediaWiki
-
LittleBigPlanet
-
Server-side include
-
Configuração do Sendmail
-
Modo normal do Vim
-
BGP
-
Excel
-
Super Mario World (também reescreve o código do jogo usando vulnerabilidades de segurança)
-
PowerPoint
-
Renderização de fontes
2 comentários
Alguns são surpreendentes.
Acabei sendo Turing-completo