Friction
发表于 2025-3-28 14:49:14
http://reply.papertrans.cn/39/3881/388006/388006_41.png
思想流动
发表于 2025-3-28 20:34:14
https://doi.org/10.1007/978-3-319-14732-1 This paper summarizes some recent results on graph languages generated by edge replacement. Especially, we show that our languages are fixed points of their productions (considered as equations) and that they can be generated by language operations (substitution and iteration) from finite graph languages.
阻塞
发表于 2025-3-29 00:00:26
http://reply.papertrans.cn/39/3881/388006/388006_43.png
Inculcate
发表于 2025-3-29 05:17:36
http://reply.papertrans.cn/39/3881/388006/388006_44.png
BET
发表于 2025-3-29 09:36:43
Algorithms for the generation and drawing of maps representing cell clones,oral patterns. In order to describe such patterns in cell layers, parallel map rewriting systems are introduced. Some of their properties are discussed and the drawing of the maps‘ geometric representations is implemented. A number of biologically motivated geometric rules for such drawings are presented and compared.
ANA
发表于 2025-3-29 13:48:21
Church-Rosser properties for graph replacement systems with unique splitting, has to offer the other..In this paper we begin a study of what graph grammar theory can learn from the theory of the lambda calculus, by generalising a central argument of lambda calculus theory; the best-known proof of the Church-Rosser property for the lambda calculus. Applications to the lambda calculus and elsewhere are indicated.
Type-1-Diabetes
发表于 2025-3-29 16:42:02
Attributed graph grammars for graphics,t of attributes describing the shape, placement, etc. of the nodes and edges of the underlying graph. The formal handling of graphics is done by attributing the rules of graph grammars and by passing the attributes up and down the derivation tree of the graphic.
aneurysm
发表于 2025-3-29 22:43:42
On context-free graph languages generated by edge replacement, This paper summarizes some recent results on graph languages generated by edge replacement. Especially, we show that our languages are fixed points of their productions (considered as equations) and that they can be generated by language operations (substitution and iteration) from finite graph languages.
acrimony
发表于 2025-3-30 02:34:25
http://reply.papertrans.cn/39/3881/388006/388006_49.png
ethereal
发表于 2025-3-30 08:08:09
http://reply.papertrans.cn/39/3881/388006/388006_50.png