Книги
чёрным по белому
Главное меню
Главная О нас Добавить материал Поиск по сайту Карта книг Карта сайта
Книги
Археология Архитектура Бизнес Биология Ветеринария Военная промышленность География Геология Гороскоп Дизайн Журналы Инженерия Информационные ресурсы Искусство История Компьютерная литература Криптология Кулинария Культура Лингвистика Математика Медицина Менеджмент Металлургия Минералогия Музыка Научная литература Нумизматика Образование Охота Педагогика Политика Промышленные производства Психология Путеводители Религия Рыбалка Садоводство Саморазвитие Семиотика Социология Спорт Столярное дело Строительство Техника Туризм Фантастика Физика Футурология Химия Художественная литература Экология Экономика Электроника Энергетика Этика Юриспруденция
Новые книги
Суворов С. "Танк Т-64. Первенец танков 2-го поколения " (Военная промышленность)

Фогль Б. "101 вопрос, который задала бы ваша кошка своему ветеринару если бы умела говорить" (Ветеринария)

Нестеров В.А. "Основы проэктирования ракет класса воздух- воздух и авиационных катапульных установок для них" (Военная промышленность)

Таранина И.В. "Гражданский процесс в схемах " (Юриспруденция)

Смоленский М.Б. "Адвокатская деятельность и адвокатура российской федерации" (Юриспруденция)
Реклама

Машина поста - Успенский В.А.

Успенский В.А. Машина поста — М.: Наука, 1988. — 96 c.
ISBN 5-02-013735-9
Скачать (прямая ссылка): mashinaposta1988.djvu
Предыдущая << 1 .. 25 26 27 28 29 30 < 31 > 32 33 34 35 36 37 .. 38 >> Следующая

возможных состояний, а именно: либо быть пустым, или непомеченным, либо
же нести на себе некоторую единую метку,- скажем, вертикальную черту.
Один из ящиков должен быть выделен; он называется отправным пунктом. Мы
предполагаем далее, что конкретная проблема должна задаваться в
символической форме посредством конечного числа помеченных ящиков.
Аналогичным образом, и ответ предъявляется в символической форме,
посредством подобной же конфигурации помеченных ящиков. Более конкретно,
ответ представляет собой ту конфигурацию помеченных ящиков, которая
возникает по завершении процесса решения.
Предполагается, что работник может совершать еле* дующие примитивные
операции4:
(a) пометить ящик, в котором он находится (если тот пуст),
(b) стереть метку из ящика, в котором он находится (если тот помечен).
(c) переместиться в ящик справа,
(d) переместиться в ящик слева,
(e) определить, помечен или нет тот ящик, в котором он находится.
3 Как в пространстве символов, так и во времени.
4 Равно как и следовать инструкциям, описываемым ниже.
84
Набор инструкций (который, следует подчеркнуть, является одним и тем же
для всех конкретных проблем и тем самым соотнесен с общей проблемой в
целом) должен иметь следующую форму. Он начинается так:
Отправляйся от отправного пункта и следуй инструкции L
Далее набор содержит конечное число инструкций, занумерованных числами 1,
2, 3, п. При этом i-я инструкция должна иметь один из следующих видов:
(A) соверши операцию Oi[Oi= (а), (Ь), (с) или (d)] и затем следуй
инструкции ji,
(B) соверши операцию (е) и в зависимости от того, будет ответ "да" или
"нет", следуй инструкции /'. или }'?9
(C) остановись.
Ясно, что достаточно иметь лишь одну инструкцию типа (С). Заметим еще,
что состояние пространства символов непосредственно влияет на процесс
только посредством инструкций типа (В).
Будем говорить, что набор инструкций применйм к данной общей проблеме,
если его применение к каждой частной проблеме никогда не потребует
операции (а), когда ящик, в котором находится работник, помечен, или
операции (Ь), когда ящик не помечен5. Набор инструкций, применимый к
общей проблеме, задает - при применении к каждой конкретной проблеме -
детерминированный процесс. Этот процесс закончится тогда и только тогда,
когда он дойдет до инструкции типа (С). Будем говорить, что набор
инструкций задает финитный 1-процесс в связи с данной общей проблемой,
если он применим к этой проблеме и если определяемый набором процесс
заканчивается для каждой конкретной про-блемы: Финитный 1-процесс,
связанный с некоторой общей проблемой, будем называть 1-решением этой
проблемы, если даваемый им для каждой конкретной проблемы ответ всегда
является правильным.
Мы не занимаемся здесь тем, каким образом конфигурация помеченных ящиков,
соответствующая конкретной проблеме или ответу на нее, символически
изображает осмысленные проблему и ответ. Сказанное выше предполагает в
действительности, что конкретная проблема задается в символизированной
форме некоторой внешней силой и на аналогичной основе воспринимается
5 Хотя наша формулировка набора инструкций и может быть легко
перередактирована так, что применимость будет гарантирована, это
представляется нежелательным по целому ряду причин.
85
символический ответ. Усовершенствование, делающее построения более
автономными, таково. Общая проблема состоит, очевидно, из не более чем
счетно бесконечного множества конкретных проблем. Не будем рассматривать
конечный случай. Пусть между классом положительных целых чисел и классом
конкретных проблем установлено взаимно однозначное соответствие. Мы
можем, довольно-таки произвольно, изобразить целое положительное я,
пометив п первых ящиков направо от от-* правного пункта. Общую проблему
будем называть 1-заданной, если учрежден такой финитный 1-процесс,
который, будучи применяем к классу положительных целых чисел,
символически изображенных, как только что указано, выдает, причем взаимно
однозначным образом, класс конкретных проблем, образующий рассматриваемую
общую проблему. Примем для удобства, что когда общая проблема 1-задана
указанным способом, каждый конкретный процесс при своем завершении
оставляет работника в отправном пункте. Если теперь некоторая общая
проблема 1-задана и 1-разрешима, мы можем, с очевидными изменениями,
соединить два набора инструкций и получить финитный 1-процесс, который
дает ответ на каждую конкретную проблему, коль скоро последняя задана
просто своим номером в символическом изображении.
С некоторой модификацией изложенная формулировка приложима также и к
символическим логикам. Мы должны теперь иметь дело не с классом конечных
проблем, но с одним-единственным начальным конечным распределением меток
по пространству символов, изображающим символически исходные формальные
утверждения логики. С другой стороны, теперь у нас не будет инструкций
типа (С). Следовательно, в предположении применимости, задается
Предыдущая << 1 .. 25 26 27 28 29 30 < 31 > 32 33 34 35 36 37 .. 38 >> Следующая