Gramatika lineárního grafu - Linear graph grammar

v počítačová věda, a lineární grafová gramatika (také a systém redukce grafu připojení nebo a gramatika portového grafu^[1]) je třída grafová gramatika na kterých uzlech je několik portů spojených hranami a hrany spojují přesně dva porty dohromady. Interakční sítě jsou speciální podtřídou lineárních grafových gramatik, ve kterých přepis je soutok.

Implementace

Bawden zavádí lineární grafy v kontextu kompilátoru pro fragment Programovací jazyk schématu.^[2] Bawden a Mairson (1998) popisují návrh distribuované implementace, ve které je lineární graf rozložen do mnoha výpočetních uzlů a může volně migrovat, aby bylo možné přepsání.

Poznámky

^ Bawden (1986) zavádí formalismus, který jim říká spojovací grafy.
^ Bawden (1993) je technická zpráva založená na Ph.D. disertační práce, Bawden (1992).

Reference

Bawden, Alan (1986), Grafy připojení, V Sborník konference ACM z roku 1986 o LISP a funkčním programování, str. 258–265, Stiskněte ACM.
Bawden, Alan (1992), Redukce lineárního grafu: náklady na pojmenování, Disertační práce, MIT.
Bawden, Alan (1993), Implementace distribuovaných systémů pomocí lineárního pojmenování, A.I. Technická zpráva č. 1627, MIT.
Bawden a Mairson (1998), Lineární pojmenování: experimentální software pro optimalizaci komunikačních protokolů „Working paper # 1, Dept. Computer Science, Brandeis University.

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Bawden (1986) zavádí formalismus, který jim říká spojovací grafy.

[2] Bawden (1993) je technická zpráva založená na Ph.D. disertační práce, Bawden (1992).

[1]

[2]