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

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

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

Если граф коммутационной системы содержит циклы, то он может быть проинтерпретирован как рекурсивная система функций. Такая система может быть теоретически развернута в бесконечный ацикли­ческий граф, но не каждый бесконечный ациклический граф задает рекурсивную систему функций. Но функции, связанные (возможно, косвенной и взаимной) рекурсией — не единственная вычислительная модель коммутационной системы. Имеются и другие модели, которые совмещают параллелизм и системы состояний и переходов. Наиболее популярны из таких моделей сейчас сети Петри.

• Ассоциативные системы. Элементы системы — активные данные, представляющие собой пары: (значение, ключ). Пары, имеющие оди­наковые ключи, соединяются и используются в качестве аргументов действия, закодированного ключом. Алгоритм действия может быть задан в любом стиле (например, в рамках стилей фон Неймановских вычислений), его результатом для системы является набор пар, по­рождаемых в ходе локального действия, а исходные аргументы при этом уничтожаются. Легко заметить, что ассоциативная система мо­жет рассматриваться как иная форма коммутационной системы, и с точки зрения возможностей, предоставляемых для программирования, они теоретически эквивалентны. Однако эта форма соответствует ино­му взгляду на описываемые вычисления, который лучше подходит, в частности, для работы с базами знаний6.

• Аксиоматические системы. Если система отождествлений и замен фиксирована для целых классов задач и предметных областей, то мы работаем в фиксированном классе исчислений, и на первый план выхо­дит задача описания знаний и предпочтений на фиксированном языке. Знания и предпочтения записываются в виде аксиом. Таким образом, формально аксиоматические системы являются частным случаем сен­тенциальных, но фиксированные правила замен позволяют перейти от общего пошагового моделирования символьных преобразований к неизмеримо более эффективному выводу, когда планируется сразу це­лая система преобразований7.

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама