In computability theory, a system of data-manipulation rules is said to be Turing-complete or computationally universal if it can be used to simulate any Turing machine. This means that this system is able to recognize or decide other data-manipulation rule sets.

What means Turing complete?

In colloquial usage, the terms "Turing-complete" and "Turing-equivalent" are used to mean that any real-world general-purpose computer or computer language can approximately simulate the computational aspects of any other real-world general-purpose computer or computer language.

How is Turing completeness proven?

To prove that a language or device is Turing Complete all you have to do is show that it can be used to implement a Universal Turing machine. A language that has a default flow of control, conditional execution and repetition is Turing Complete with only minor additional requirements.