Μια γλώσσα προγραμματισμού στην οποία ο χρήστης δηλώνει ένα συγκεκριμένο σύνολο από οδηγίες που πρέπει να εκτελέσει ο υπολογιστής σε μια συγκεκριμένη ακολουθία. Όλες τις widelyused γλώσσες προγραμματισμού είναι αυτού του τύπου.