"Анатолий Анисимов. Компьютерная лингвистика для всех: Мифы. Алгоритмы. Язык" - читать интересную книгу автора

Познание всегда искало
способы описания алго-
ритмов. Сохранились древние
магические рецепты,
математические тексты, книги боевого искусства,
Где
описывались приемы действий в тех или
иных ситуа-
циях. В математической теории алгоритмов
существу-
ет большое разнообразие определений
алгоритма,
ориентированных на различные способы
вычисли-
тельной реализации: арифметическое исчисление
пре-
дикатов (К. Гедель, 1931), ▄-определимые
(А. Черч,
1936) и частично-рекурсивные (С. Клини, 1936)
функ-
ции, машины Поста и Тьюринга
(Э. Пост, 1936,
А. Тьюринг, 1937), алгоритмы Маркова
(А. А. Мар-
ков, 1951). Все эти определения
выражали формаль-
но интуитивное понятие вычислимости.
Как сразу
было доказано, различные
определения алгоритма
оказались эквивалентными в смысле возможности
мо-
делирования друг друга. Математические
определе-
ния алгоритма ориентированы на строгие
доказатель-
ства возможности тех или иных вычислений.
В силу
этого в их определениях используют
специфические
мелкомасштабные базовые операции
и специальные
строгие правила организации вычислений.
В реальной
работе человеку удобнее применять широкий
арсенал
гибких адекватных средств для записи
вычислений.
Этим занимается программирование.
Появилось мно-