Более строгое описание алгоритма, чем общее или формализация понятия алгоритма. Три подхода к формализации: теория конечных и бесконечных автоматов, теория вычислимых (рекурсивных) функций и л-исчисление Черча. Воображаемые машины Поста и Тьюринга.
09.02.2009 |
Информатика и вычислительная техника |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 92
