(1) Μια ακολουθία των καταστάσεων πρόγραμμα υπολογιστή που εκτελείται επανειλημμένα, μέχρι να ικανοποιηθεί μια συγκεκριμένη συνθήκη ή ενώ μια συγκεκριμένη συνθήκη είναι true.~(2) να εκτελέσετε μια ακολουθία των καταστάσεων πρόγραμμα υπολογιστή, όπως σε (1).