(1) Belirli bir koşul gerçekleşene dek yürütülen sürekli bilgisayar programı deyimleri ya da belirli bir koşulu bilgisayar programı ifadeler gibi (1) yürütülecek true.~(2) dizisidir.