Cтраница 4
Это позволяло сразу показать, как рассматриваемые нами модели и структуры могли быть реализованы в программах для вычислительных машин со всеми вытекающими отсюда преимуществами, описанными в последней главе. Однако такое расположение материала книги предполагало также, что читатель должен изучить основы программирования на языке ИПЛ-V, до того как перейти к основному содержанию книги. Как отметил ряд моих коллег, просмотревших первый вариант книги, система обозначений сама по себе не зависит от детален построения языка ИПЛ-V, и многие читатели, несомненно, предпочли бы не тратить время на разбор этих деталей. Поэтому описание языка ИПЛ-V было перенесено в конец книги. [46]
Изучение формальных языков продолжено в главе 12, в которой рассматриваются способы описания языков. Первый из них относится к порождающим грамматикам, допускаемым конечными автоматами. Автоматы функционируют как устройства, распознающие цепочки. Второй способ состоит в построении языка с помощью алгебраических операций из базисных множеств. [47]
Несомненным достоинством применения языка SOL как инструмента моделирования является то, что он представляет в распоряжение постановщика задачи единую методику моделирования. Это позволяет проводить на моделях эффективное сравнение конкурирующих вариантов исследуемых систем. Принципы, положенные в основу построения языка, и написание моделирующих программ на нем позволяют строить модели сложных систем в штабельной форме. [48]
Рассмотрим упрощенную схему системы, в которой можно параметрически описывать трехмерную составную фигуру и подсчитывать параметры, реализуемые на чертеже размерами. Подобная схема удобна для реализации в машинном проектировании. Будем применять подход, аналогичный тому, который был нами применен при конструировании плоских фигур. Этот подход несет в себе черты структурной лингвистики, которые лежат в основе построения языков. [49]
Язык СОЛ построен на базе универсального языка программирования АЛГОЛ, имеет такую же структуру и использует основные его элементы. Для описания широкого класса процессов с дискретными событиями СОЛ представляет универсальную систему понятий, и потому он во многих отношениях очень похож на проблемно-ориентированные языки автоматического программирования, такие, как АЛГОЛ или ФОРТРАН. Однако языку СОЛ присущи основные черты, отличающие его от этих языков: СОЛ обеспечивает механизм моделирования асинхронных параллельных процессов, удобные обозначения для случайных элементов внутри арифметических выражений, автоматические средства сбора статистических данных о компонентах моделируемой системы. С другой стороны, многие черты проблемно-ориентированных универсальных языков не используются в СОЛе не потому, что они несовместимы с ним, а скорее потому, что они вносят большие усложнения в его схему, не расширяя его возможности. Принципы, положенные в основу построения языка и написания моделирующих программ на нем, позволяют строить модели сложных систем в удобной для чтения форме. [50]
Ямаучи, которые создали многоуровневую логику ( Multi-layer logic или коротко MLL) и механизмы вывода в ней. MLL является фундаментом логического подхода к обработке иерархических структур. Более точно ее можно рассматривать как интеграцию логического подхода и подхода, основанного на семантической сети, к построению языка представления знаний. [51]