М.: Мир, 1976. - Серия "Математическое обеспечение ЭВМ".
Книга посвящена изложению методов трансляции с одного
из непроцедурных языков программирования - с языка таблиц
решений. Программы, написанные на этом языке, позволяют
удобно описывать сложные ситуации, возникающие при системном
анализе. Таблицы решений представляют собой новый перспективный
метод программирования, который находит применение при решении
многих задач системного анализа.
Книга предназначена для разработчиков АСУ, системных
аналитиков и системных программистов, занимающихся разработкой
трансляторов. Она может служить учебным пособием для студентов,
изучающих методы трансляции.
Свойства таблиц решений
От таблиц решений к машинным программам
Об общности таблиц решений
Преобразование, гарантирующее лучшее решение
Подробнее о преобразовании ветвей
Методы определения следующей проверки
Компромиссные методы
Некоторые другие факторы
Влияние частот правил решения
Действия
Непроцедурные языки
Заключение
Книга посвящена изложению методов трансляции с одного
из непроцедурных языков программирования - с языка таблиц
решений. Программы, написанные на этом языке, позволяют
удобно описывать сложные ситуации, возникающие при системном
анализе. Таблицы решений представляют собой новый перспективный
метод программирования, который находит применение при решении
многих задач системного анализа.
Книга предназначена для разработчиков АСУ, системных
аналитиков и системных программистов, занимающихся разработкой
трансляторов. Она может служить учебным пособием для студентов,
изучающих методы трансляции.
Свойства таблиц решений
От таблиц решений к машинным программам
Об общности таблиц решений
Преобразование, гарантирующее лучшее решение
Подробнее о преобразовании ветвей
Методы определения следующей проверки
Компромиссные методы
Некоторые другие факторы
Влияние частот правил решения
Действия
Непроцедурные языки
Заключение