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