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