Turing completo

È un modello matematico sviluppato per un linguaggio specializzato (sistema comunicazione formale) che, in informatica e in logica matematica, possiede una potenza espressiva almeno equivalente a quella delle macchine di Turing; con questa condizione è possibile programmare qualsiasi macchina di Turing basata sul Entscheidungsproblem (problema della decisione).