Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 98

Реализация идеи внедрения изъявительного наклонения в языки про­граммирования возможна по следующим направлениям:

Системы продукций. Соотношения записываются как правила выво­да предложения в некоторой грамматической или логической форме. Обрабатываемые данные сопоставляются с шаблонами, задаваемыми частями правил, отвечающими за распознавание ситуации, когда пра­вило может быть применено. Соответствие данных шаблону тракту­ется как разрешение применить данное правило. Применение правила состоит в замене выделенного при сопоставлении фрагмента данных на чтото другое. Однократное выполнение такой замены трактуется как атомарный акт вычисления.

Системы функций. Программа есть соотношение между функциями, связанных между собой аргументами, которые, в свою очередь, мо­гут быть функциями. Таким образом, атомарный акт вычислений — это подготовка аргументов для использующей функции. Готовность аргументов трактуется как разрешение вычисления функции.

Коммутационные системы. Элемент системы — вершина графа, име­ющая входные и выходные места. Входные места служат концами дуг, а выходные, соответственно, их началами. Дуги — это каналы пере­дачи значений. Вершины, в свою очередь, могут иметь внутреннюю графовую структуру, и так далее по рекурсии. Программа есть граф с двумя выделенными вершинами, одна из которых не имеет вход­ных мест (генератор перерабатываемых данных), а вторая не имеет выходных мест (получатель результата). Элементарное вычисление на графе может активизироваться, когда ко всем входам вершины посту­пают значения, и в этом случае либо производятся предопределенные языком действия (когда вершина атомарна), либо значения передаются по внутренней структуре к вложенным вершинам. Результатом вычис­ления является появление значений на выходных местах (появление полного результата может растягиваться во времени).

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама