1626435695-d1df5d2e6d953ce7ad4b4ccb5f4f4e30 (844296), страница 54
Текст из файла (страница 54)
АСМ Яушр. оп ТЬеогу о1 Сашр.— Оепчег. — 1972.— Р. 18 — 34. ОГЛА$$ДЕНИ$$ 37 Г а а а а 1. Внчксламесть ° раэреаюкость....... $1. Вычвслимые фуаацав, алгоратмы 1Л. Фу ця 1.2. Словарные фуакцва 1.3. Инчвслвмне фувкцаа и кашкам Тьюрияга 1 4. Првмер машкам Тнораига . 1.5. Слоааркоо предстаалеаве машкин Тьюрвага $2.
Разрепшмне в вераэрешамые проблемы . 2Л. Массовые элгоратмачесяае проблемы 2.2. Проблема остэвоэки . 2.3. Проблема пустой леаты а метод саедеввя .. 2.4. Проблема зацвклазапая Нратвак обзор и коммеатарви Гл а аз 2. Графм и метод разветаа....... ° ° ° ° °- $1. Поиатве графа 1Л. Опрежлеяае графе 1.2. Связвость и вэоморфпэм графов, деревья . $2.
Метод разметки и задача глобэлыюго авалваа . 2.1. Неформальвое ззедеиве 2.2. Формальная поставозка задача глобэлыаио аиалваа $3. Решеаае задачи глобальиого аазлвзс...... ЗЛ. Процесс размотав 3.2. Безопзсаость в едавстзспвость стацвоварвой разметка 3.3. Точное решевве задача глобальиого авэлаэа . Крюавй обзор к коммевтарва...... Г л а в а 3. Поветино аатеэатн . $1. Одволевточаые азтокаты 1.1. Определеаае автомата . ! .2. Проблемы пустоты в аквввалеатвосгв . $2. Мпогоаеигочвые автоматы .. ЗЛ.
Определмюя 2.2. Свойства эзмкаутыл диаграмм 2 3. Процедура расаозааазаия . 2.4. Предельаая диаграмма 2.5. Решевве дзузлеато пюй проблемм $ 3. Двуаголоаечаые автоматы ЗЛ. Определевие и пример 3.2. Проблемы пустоты к эквкаелеатаостм Краткий обзор и коюпштарвв 246 Э Э Э И 12 14 1к 17 Г7 1Э 21 22. 23 кор- схем схем Г л а в а 4. Ставдарпмэе схемы прогрзюэ 9 1. Схемы программ 1Л. Программы 1.2. От программ к схемам программ 9 Р.
Класс стандартных схем . 2Л. Баево 2.2. Стандартная схема (трефовая форма) . 2.3. Стандартная схема (лвнейиая форма)....... 2.4. Ивтерпрепщия, прогрзмва 2.5. Примеры программ $3. Зквввалентность и главные свойства стаидартвых схем . ЗЛ. Зквивалептяосгь, тотальность, пустота, свобода.... 3.2. Свободные ивтерпретацвн 3.3.
Согласованные свободные ввтерпретацвк........ 3.4. Основные теоремы о юободлых ввтерпрстациях . 3.5. Определение логкко-термальиой зквввалевтности и ее ректность .. Краткий обзор в комментарии 1' л а з а 5. Неразреншмые свойства ставдартюэх схем...... $1. Двоичный двухгсловочвый автомат 4 2.
Моделироезвке двоичного автомата стандартюй схемой 2Л. Класс,Уг стандартиыт. схем 2.2. Построение схемы, моделирующей автомат . $ 3. Теоремы о нераэршввкых свойствах стандартных схем ЗЛ. Проблемы пустоты п эквивалентности . 3.2. Проблема тсталышств 3.3. Проблема свободы Краткий обзор в комментарии Г л э з а 6. Логнко-тсуевкшвая эквивалентность стандартных 1 1. Фрагменты и нх преобразование 1Л.
Фрагменты 1.2. Информационные маршруты, эацеплениость и влияние 1.3. Формальные преобрааовавия 4 2 Инвзршвпм н вх пргдстазлевве в виде сетей . 2.1. Фуикцвовальвые сета 2 2. Полурешетка приведенных сетей........ 2.3 Нахождение виеаризнтов 1 3.
Ллгорятм распоававання логике-термальной ювввалевтн 3.1. Снстема эквввалевтных преобраэоеавкй Х, 3.2. Првведекие в согласоваяве фрагментов....... 3 3. Полнота системы Х„ Крзтккй обзор в комментаряи Г л а з а 7. Раарепэамые псдкааесы стандартных схем.... 4 1. Сюбодвые стандвртвыз схемы 1.1. Проблемы пустоты и тотальности....... 1.2. Проблема изоморфаама . 1 2. '"кеозвые схемы 2 Л. Определение сквозвыг. схем 2.2.
Обобщение ввваркантов 2.3. Освобождение сквозных схем 2.4. Алгоритм распознаванвя змзивалентноств сквозных 2.5. Корректность алгоритма И Краткий обзор п комментарии . Г лаз а 8. Рекурсивные схемы.......... $1. Класс рекургвввых схек .
1Л, Рекурсивное программнровавие 1.2. Определение рекурсивном схемы....... 1.3. Рекурсивная программа 67 67 67 69 74 74 76 77 79 81 83 83 86 88 90 98 98 101 931 932 106 106 106 108 110 Ш Ш Ш 113 114 И6 116 118 120 123 123 126 130 133 134 136 136 137 141 141 143 150 153 156 163 171 171 171 173 176 247 8 2. Проблемы трансляции 2Л.
О сраавеввв классов схем 2.2. Трансляцвя стацхартных схем а рекурсивные, 2.3. Травсляцвя рекурсивных схем е стандартные . б 3. Линейные укорные рекурсивные схемы......... 3Л. Проблема трансляции 3.2. Преаолвнейвые упорные схемы 4 4. Схемы с процедурамн 4.1. Сравнение с классом рекурсивных схем . 4.2. Частичная трансляция схем с процедурама,... Краткий обеор в комментарии Г л а в а 9. Обегафцеаные схемы б 1. Классы обоган1енных схем 1.1. Счетчики, магаеины, массивы 1.2. Првмеры обогюцевных схем '$2.
Проблемы трансляции 2Л. Счетчвковые н рекурсивные схемы . 2.2. Счеты~новые в стандартные схемы 2.3. Счетчвковые и магаавнвые схемы 2.4. Магаеввные схемы и схемы с массввами 2.5. Мегаевнвые в рекурсивные схемы . 2.6. Сравнительная схематологкя . 'Краткий обеор и комментарии Г л а е а 10. Схемы структурированных иреграмм.... 4 1. Структурированные схемы 1Л. Класс структурированных схем..... 1.2. Трансляция огруктурвроваввых схем в стандартные ..
1.3. Трансляция стандартных схем а структурированные . 8 2. Структурированные схемы с логическими операциями . Ц2пыок литературы 178 118 129 182 185 185 189 191 191 194 196 201 201 201 202 204 204 208 208 ЗВ 211 221 224 .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
