Agindu-sekuentzia baten bidez emaitza nola lortuko den ezartzen duen programazio-lengoaia mota, emaitzan espero diren ezaugarriak esplizituki definitzen ez dituena; lengoaia erazagutzaileri kontrajarria. Horrelakoetan, programaren nozioa egoeren bidez eta egoera horiek aldatzeko aginduen bidez uler daiteke.