Turing-kompletní

V teorii počítačů oba představovali si a skutečný, programovacích jazyků, a jiných logických systémů, Turing-kompletní systém je jeden který má výpočetní moc ekvivalentní k univerzálii Turing stroj. Pojetí je jmenováno ve cti Alan Turing. V jiných slovech, systému a univerzálii Turing stroj může soutěžit s každým jiný. Žádné počítače kompletně splní tento požadavek, zatímco Turing stroj má neomezenou kapacitu paměti, nemožný emulovat na skutečném zařízení. S touto výhradou, nicméně, všechny moderní počítače jsou Turing-kompletní, jak jsou všichni univerzální programovací jazyky.

Turing-úplnost je významná v tom každém pravděpodobném plánu na počítačové zařízení doposud pokročilý (vyrovnat kvantové počítače) moci být emulován univerzálním Turing strojem. Tak, stroj, který může se chovat jako univerzální Turing stroj může, v principu, vykonávat nějakou vypočítavost to některý jiný počítač je schopný. Poznámka, nicméně, že toto říká nic o úsilí psát program pro stroj a čas to může oblíbit si dělat takový vypočítavost.

To je předpokládané že vesmír je Turing-kompletní.

Vidět článek o teorii vypočitatelnosti pro dlouhý seznam systémů, které jsou Turing-kompletní, stejně jako několik systémů, které jsou méně silné, a několik teoretických systémů, které jsou dokonce silnější než univerzální Turing stroj.

Viz též:

• Kostel-Turing teze
• Algoritmická informační teorie
• Stephen Wolfram' s Nový druh vědy