формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит алгоритмического языка), синтаксических правил и семантических определений теоретическая основа языков программирования. Нередко термины "алгоритмический язык" и "язык программирования" используют как синонимы.