Im Artikel wird die formale Syntax der While-Programme ohne If und Loop angegeben. Gleichzeitig merkt der Artikel an, dass alle While-Programme in ein While-Programm mit nur einer While-Schleife umgesetzt werden können. Allerdings werden für die Kleenesche-Normalform neben einer While-Schleife auch (in aller Regel) mehrere Loops (oder Fallunterscheidungen) benötigt. In dem angegeben Formalismus wären zu derer Simulation allerdings While-Ausdrücke notwendig, sodass hier weiterhin mehrere While-Schleifen benötigt werden. Sollte man nicht im Artikel darauf hinweisen oder den Formalismus um Loop erweitern? RandomPerson 21:54, 13. Aug. 2015 (CEST)