حتى الآن، وقد أدت هذه المناقشة لإضفاء الطابع الرسمي على الخوارزمية قد افترضت بناء imperative programming.
So far, this discussion of the formalization of an algorithm has assumed the premises of imperative programming.