Программа Гильберта-2 для теории алгоритмов: модель работы алгоритмов
. К оглавлению . Показать весь текст .
Оглавление
1. Понятие о модели работы алгоритмов и их представимости в теории
2. Условности языков программирования высокого уровня и факты «низкого» уровня
3. Запись алгоритмов в «каноническом» виде
4. «Физика» используемой модели алгоритмов. Сравнение с машиной Тьюринга
0. Введение
В первой статье «Программа Гильберта-1 для теории алгоритмов: теория слов (строк)» были сформулирована необходимость проведения программы Гильберта в теории алгоритмов, и была создана (на уровне аксиом) теория строк. Строки – это то, с чем работают математики в теории алгоритмов:
Вместо термина «строки» (термин программистов) математики обычно используют термин «слово» для «языка», например. Строки – это то, что записано на ленте машины Тьюринга, например. Строки («слова») – это «цепочки символов» в самых разных применениях теории алгоритмов.
В данной (2-й) статье будет построена модель работы алгоритмов, отличающаяся от машины Тьюринга. Это позволит проще формализовать понятие алгоритма в рамках теории строк – что будет сделано в следующей (3-й) статье, после данной.
( Collapse )