АЛГОРИТМИЧЕСКИЙ ЯЗЫК
— формальный язык, предназначенный для записи алгоритмов. Использование А. я. основано на возможности формального задания правил конструирования алгоритмов. При формальном описании алгоритмов существенная роль принадлежит выбору способа записи (кодирования) перерабатываемой информации и задания алгоритм, предписаний — элементарных шагов алгоритма, из которых он конструируется. А. я. определяется заданием алфавита (или словаря исходных символов), точным описанием его синтаксиса (грамматики) и семантики. Некоторый непустой подалфавит А. я. используется для кодирования исходной (перерабатываемой) информации. Известно, что даже двухбуквенный алфавит достаточен для кодирования любой информации. Однако указанный алфавит обычно расширяется для возможности более удобного и экономного кодирования. Правила преобразования информации в различных алгоритмах весьма разнообразны и качественно различны. Однако все конкретные алгоритмы могут быть составлены из весьма небольшого числа элементарных предписаний. Наборы предписаний, из которых могут быть построены любые мыслимые алгоритмы, наз. алгоритмически полными. А. я. наз. универсальным, если в нем может быть описан алгоритмически полный набор предписаний (а тем самым любой алгоритм). Задание универсального А. я. равносильно заданию алгоритм, системы, т. е. общего способа записи алгоритмов.
Специфика А. я. выражается, гл. о., в его семантике и заключается в том, что предложения языка должны быть алгоритмами, т. е. последовательностями предписаний, при помощи которых осуществляется переработка информации (реализуется алфавитное отображение). В каждом А. я. должны быть средства для задания операторов, осуществляющих переработку информации, и операторов перехода (распознавателей), определяющих порядок выполнения этих операторов. Операторы, в свою очередь, могут обозначать последовательности др. более элементарных операций. Напр., оператор умножения многозначных чисел обозначает последовательность некоторых действий над однозначными числами.
Языки, с помощью которых строятся классические алгоритм, системы (нормальные алгорифмы Маркова, рекурсивные функции, Тьюринга машины, Поста машины и др.), несмотря на их универсальность, оказались практически неприемлемыми для описания алгоритмов решения задач при их реализации
на ЦВМ. Данное обстоятельство является результатом того, что все эти системы ориентированы на рассмотрение фундаментальных теоретических вопросов алгоритмов теории и уже запись одного сколько-нибудь сложного алгоритма в любой из этих систем представляет Собой самостоятельную трудную задачу. В связи с этим решение практических задач с помощью ЦВМ вызвало появление большого числа работ, посвященных созданию т. н. языков программирования, для которых А. я. служат теор. основой. Е. Л. Ющенко.
