Hallo, ich reverte die Artikelneufassung aus folgenden Gründen: Der Bezug auf eine Turingmaschine ist nicht nur weit hergeholt und dürfte keinem Leser, der nicht über entsprechende Kenntnisse in der Automatentheorie verfügt, unverständlich bleiben. Er ist sogar sachlich falsch: Zuweisungen sind Programmiersprachen-Konstrukte, eine Turingmaschine ist aber an sich ein Automat und keine Sprache. Eine Turingmaschine verfügt nicht einmal über Variablen, sondern ledliglich über Bänder mit Zellen, auf die ein Schreibkopf Werte eintragen kann. Das hat aber nichts mit einer Zuweisung zu tun, weil eine Bandzelle der Turingmaschine nicht einer Variablen entspricht. Hierzu müsste zunächst eine Sprache formuliert werden, welche die Turingmaschine steuert, erst auf der Ebene dieser Sprache würde der Variablenbegriff (und damit der Zuweisungsbegriff) einen Sinn ergeben. Gravierende weitere inhaltliche Fehler wie z. B. "So eine Speicherstelle ist in der Turingmaschine als Zahl gegeben". Das ist aber nicht korrekt, genauso gut können Striche oder andere Zeichen verwendet werden. Das Alphabet einer TM ist frei wählbar. Von den sprachlichen Mängeln will ich im Detail garnicht reden. Mkleine 21:30, 22. Mai 2006 (CEST)