поддержка
проекта:
разместите на своей странице нашу кнопку!И мы
разместим на нашей странице Вашу кнопку или ссылку. Заявку прислать на
e-mail
код нашей кнопки:
Алгоритмический язык
Язык, используемый для формальной записи алгоритмов. Языки такого
типа изучаются и используются в математической логике и в
программировании. В математической логике исследуются универсальные
алгоритмические языки, на которых можно описать любую процедуру,
относимую к интуитивно понимаемому множеству алгоритмов. Примером такого
языка может служить язык, на котором функционирует машина Тьюринга.
В программировании используется несколько типов алгоритмических языков,
что определяется особенностями тех универсальных логических
алгоритмических языков, которые были использованы при создании данного
языка программирования. Например, язык ЛИСП опирается на идею реализации
алгоритмов как последовательности вычислений рекурсивных функций
(функций, в которых аргументы и сама функция принимают значения из
множества натуральных чисел и для которых значение функции для
некоторого натурального числа п вычисляется через значения этой же
функции на меньших, чем п, значениях). Другой язык программирования -
РЕФАЛ использует универсальный алгоритмический язык в виде схем
нормальных алгоритмов Маркова, а в основе языка ПРОЛОГ лежит модель,
заимствованная из логики предикатов первого порядка.