b) Aus der Frage war nicht (offen) ersichtlich, dass es sich speziell um das Fachgebiet 'Theoretische Informatik' handelt. Bei den Praktikern kann "ein WHILE-Programm" auch einfach "ein Programm, das eine WHILE-Schleife enthält" bedeuten - insbesondere wenn der Sprachgebrauch des Fragenden eher auf einen -hm- Noch-Lernenden hindeuten.