Автор работы: Пользователь скрыл имя, 09 Января 2014 в 13:15, доклад
Одной из фундаментальных статей, результаты которой лежат в основе современной теории алгоритмов является статья Эмиля Поста (Emil Post), «Финитные комбинаторные процессы, формулировка 1», опубликованная в 1936 году в сентябрьском номере «Журнала символической логики». Пост рассматривает общую проблему, состоящую из множества конкретных проблем, при этом решение общей проблемы это такое решение, которое доставляет ответ для каждой конкретной проблемы.
Основные понятия и операции 2
Финитный 1 – процесс 3
Способ задания проблемы и формулировка 1 3