Реализация машины Тьюринга на функциональном языке
Положения машины Тьюринга. Алгоритмически неразрешимые проблемы: "остановка", эквивалентность алгоритмов, тотальность. Свойства алгоритма: дискретность, детерминированность, результативность, массовость. Выбор структуры данных. Решение на языке Haskell.
16.11.2013 |
Интеллектуальные информационные системы |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 175
