Содержание
- Введение 1
- Теоретические основы машины Поста 2
- - Структура и компоненты машины Поста 2.1
- - Формализация правил перехода 2.2
- - Понятие алгоритма и его реализация на машине Поста 2.3
- Связь с другими формальными моделями вычислений 3
- - Машина Поста и машина Тьюринга 3.1
- - Связь с лямбда-исчислением 3.2
- - Универсальность вычислений и машина Поста 3.3
- Возможности и ограничения машины Поста 4
- - Решаемые и неразрешимые задачи 4.1
- - Остановочная задача и ее связь с машиной Поста 4.2
- - Эффективность вычислений на машине Поста 4.3
- Заключение 5
- Список литературы 6