Нормальный алгоритм Маркова. Тезис Маркова и машина Тьюринга. Гипотеза теории алгоритмов. Алгоритмически неразрешимые проблемы. Задача эквивалентности двух слов в ассоциативном исчислении. Задача распознавания выводимости. Линейная оценка сложности.
06.07.2009 |
Программирование |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 92
