А. А. Марков предположил, что всякий алгоритм в алфавите А эквивалентен некоторому нормальному алгоритму в этом же алфавите:
Алгоритм Эвклида - алгоритм поиска наибольшего общего делителя:
Алгоритмическая неразрешимость задач математики и вычислительной техники может быть доказана только с помощью моделей алгоритма:
Алгоритмическая неразрешимость некоторой задачи означает, что на данный момент не существует общего алгоритма, решающего любую задачу рассматриваемого класса, но задача будет решена в будущем:
Алфавит в ассоциативном исчислении - набор из нулей и единиц:
Задаче ассоциативного исчисления соответствует задача поиска в конечном лабиринте:
Логическая задача - поиск пути в конечном лабиринте:
Любая конечная последовательность букв некоторого алфавита называется словом в этом алфавите:
Областью применимости алгоритма называется такая наибольшая область начальных данных, на которой алгоритм результативен:
Под алгоритмом понимается точное предписание, определяющее процесс переработки исходных данных в требуемый результат:
Результативность алгоритма означает, что, примененный к любой задаче заданного типа, он через конечное число шагов останавливается:
Слово А эквивалентно слову В, если существует дедуктивная цепочка вывода А из В:
Совокупность всех слов в данном алфавите вместе с системой допустимых подстановок называется ассоциативным исчислением:
Схема подстановок вместе с указанием, как ими пользоваться, определяет алгоритм в алфавите А:
Численные алгоритмы - алгоритмы, в соответствии с которыми решение поставленных задач сводится к арифметическим действиям: