(алгоритмические языки) — класс искусственных языков, предназначенных для обработки информации с помощью вычислительных машин. Тексты на Я. п. являются предписаниями по обработке последовательностей символов (в частности, записей чисел); все тексты можно рассматривать как повелительные (предписывающие). По семантич. критериям выделяются