Kategori lage algoritmar og uttrykkje dei ved bruk av variablar, vilkår og lykkjer