Programavimo kalba, kurioje vartotojas nurodo tam tikriems instrukcijas, kurios kompiuteris turi atlikti tikrą seka. Visos widelyused programavimo kalbos yra šio tipo.