Предисловие............ 1. Свойства таблиц решений. 1.1. Введение.......... 1.2. Построение таблиц решений 1.3. Типы таблиц........ 1.4. Полнота.......... 1.5. Сокращения........ 1.6. Проверка полноты..... 1.7. Двусмысленности...... 2. От таблиц решений к машинным программам..... 2.1. Преобразование...................... 2.2. Длинный путь....................... 2.3. Сопоставление правил................... 2.4. Метод маски........................ 2.5. Последовательное ветвление................. 3. Об общности таблиц решений............ 3.1. Механизм построения блок-схемы.............. 3.2. Множественность блок-схем................. 3.3. Выбор „лучшей" блок-схемы................ 3.4. Средство достижения новых успехов в автоматическом программировании......................... 4. " Преобразование, гарантирующее лучшее решение... 4.1. Реальная цена наилучшего решения............. 4.2. Более быстрый путь к наилучшему решению........ 5. Подробнее о преобразовании ветвей.......... 5.1. Ограничение объема исследований.............. 5.2. Обозначения........................ 5.3. Выбор „следующего условия"................ 6. Методы определения следующей проверки....... 6.1. Методы суммы тире.................... 6.2. Метод YN-разности..................... 6.3. Применение быстрых методов: выводы............ 7. Компромиссные методы...............
8. Некоторые другие факторы..............
8.1. Методы трансляции числовых таблиц с расширенным входом
8.2. Дополнительные соображения................
9. Влияние частот правил решения...........
9.1. Частота и метод маски...................
9.2. Частота правил решений и метод деревьев.........
9.3. Цена условия.......................
9.4. Учет факторов частоты и цены...............
10. Действия.....................
П. Непроцедурные языки................
12. Заключение....................
Список литературы.........................
|