Um eine Zuweisung zu verstehen, muss man keine Turing-Maschinen kennen, so schön diese auch sind. Außerdem gilt das oben gesagte. Ich habe also den Artikel ohne Bezug auf Turingmaschine weitgehend neu geschrieben. Hoffe die etwas allgemeinere Fassung trifft nun mehr Programmiersprachen, z.B. auch Scheme. -- Erzbischof 17:18, 23. Mai 2006 (CEST)