Eldöntés(N,X,VAN): I=1 ciklus amíg I<=N és nem T(X) I=I+1 Ciklus vége VAN=(I<=N) Eljárás vége .