Язык программирования, предназначенный для выражения алгоритмов; к примеру, Алгол.