Turing Komplett
 
StartSeite | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern

Eine Definition für imaginäre oder reale Computer, ProgrammierSprachen oder andere logische Systeme, benannt nach AlanTuring. Ein System, das TuringKomplett ist, kann theoretisch alle Berechnungen ausführen, die eine universelle TuringMaschine auch ausführen kann. Praktisch funktioniert das natürlich nicht, da eine TuringMaschine als imaginärer Computer unendlichen Speicher besitzt.

Also trifft die pragmatische Definition von TuringKomplett auf alle modernen Computer und allgemein einsetzbaren Programmiersprachen zu. Alle modernen Rechner haben einen grösseren Satz von Instruktionen, alle modernen ProgrammierSprachen eine höhere Abstraktionsebene, also bleibt der endliche Speicher als einziges und letztes Kriterium.

Tatsächlich kann eine universelle TuringMaschine jeden Computer der Vergangenheit, Gegenwart und Zukunft emulieren, denn wie leicht oder schwer es ist für eine TuringKomplette Maschine oder in einer TuringKompletten Sprache Programme zu schreiben, ist nämlich nicht Teil der Definition.

(Frei nach http://www.wikipedia.com/wiki/Turing-complete)


StartSeite | Neues | TestSeite | ForumSeite | Teilnehmer | Kategorien | Index | Hilfe | Einstellungen | Ändern
Text dieser Seite ändern (zuletzt geändert: 4. April 2004 14:41 (diff))
Suchbegriff: gesucht wird
im Titel
im Text