Turingkomplett
Wikipedia
Begreppet Turingkomplett härleds till dess upphovsman Alan Turing (1954).
Ett programspråk anses vara Turingkomplett då man kan beräkna samtliga beräkningsbara problem i det, oavsett hur lång tid och hur mycket minnesutrymme problemet kräver för att beräknas.
En maskin anses vara Turingkomplett när den kan utföra de operationer som behövs för att kunna beräkna alla beräkningsbara problem som finns.
I teorin kan en maskin som är Turingkomplett exekvera samtliga programvaror för andra Turingkompletta maskiner, förutsatt att programvaran skrivs om för den aktuella maskinens hårdvara, eller körs i en emulator.
