Грамматика линейного графа - Linear graph grammar

В Информатика, а грамматика линейного графа (также система сокращения графа соединений или грамматика графа портов[1]) является классом грамматика графа на которых узлы имеют несколько портов, соединенных вместе ребрами, а ребра соединяют ровно два порта вместе. Сети взаимодействия являются специальным подклассом грамматик линейных графов, в которых переписывание является сливаться.

Реализации

Боуден вводит линейные графы в контексте компилятора для фрагмента Язык программирования схем.[2] Боуден и Майерсон (1998) описывают дизайн распределенной реализации, в которой линейный граф распределен по множеству вычислительных узлов и может свободно перемещаться, чтобы сделать возможными перезапись.

Примечания

  1. ^ Боуден (1986) вводит формализм, называя их графами соединений.
  2. ^ Bawden (1993) - технический отчет, основанный на докторской диссертации. диссертация, Bawden (1992).

Рекомендации