Results 11 to 20 of about 2,840 (305)
Translating Controlled Graph Grammars to Ordinary Graph Grammars [PDF]
Electronic Notes in Theoretical Computer Science, 2016 AbstractGraph Grammar (GG) is an appropriate formal language for specifying complex systems. In a GG the system states are represented by graphs and the changes between the states are described by rules. The use of GGs is interesting as there are several techniques for the specification and verification of systems that are described in this language ...
Alex Bertei +2 more
openaire +2 more sources
On Graph Grammars and Games [PDF]
CoRRGraph grammars form an interesting area of research because of their versatility in modelling diverse situations with graphs as the structures which are to be manipulated. A new class of graph grammars, nc-eNCE Graph Grammars has been introduced recently with an aim of restricting the order of application of graph production rules, thereby generating ...
Jayakrishna Vijayakumar, Lisa Mathew
openaire +3 more sources
Tree-Verifiable Graph Grammars [PDF]
EPiC Series in ComputingHyperedge-Replacement grammars (HR) have been introduced by Courcelle in order to extend the notion of context-free sets from words and trees to graphs of bounded tree-width. While for words and trees the syntactic restrictions that guarantee that the associated languages of words resp.
Mark Chimes, Radu Iosif, Florian Zuleger
core +7 more sources
An Approach for Efficient Heat Source Selection in Long-Term Expansion Planning of Urban District Heating Systems [PDF]
E3S Web of Conferences, 2023 This study proposes an approach to selecting efficient heat sources in the context of long-term expansion planning for urban district heating systems. The approach includes two stages: synthesis and optimization.
Edeleva Olga +2 more
doaj +1 more source
A TESTBED FOR APPLYING OPERATIONALIZED GRAPH GRAMMARS TO SUSTAINABILITY ANALYSIS IN INTEGRATED BIM-GIS SCENARIOS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2022 Environmental aspects are becoming increasingly important for construction projects and thus holistic analysis spanning different scopes such as the building and city context. With graph-based data integration we propose a general method to support cross-
H. Tauscher, K. W. Wong
doaj +1 more source
Path querying using conjunctive grammars
Труды Института системного программирования РАН, 2018 Graphs are used as a data structure to represent large volumes of information in a compact and convenient for analysis form in many areas: bioinformatics, graph databases, static code analysis, etc.
R. Sh. Azimov, S. V. Grigorev
doaj +1 more source
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics [PDF]
Logical Methods in Computer Science, 2023 The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reactive Turing Machine that does not have these shortcomings. In the Reactive
Jos C. M. Baeten +2 more
doaj +1 more source
CoRR, 2020 We propose the use of hyperedge replacement graph grammars for factor graphs, or factor graph grammars (FGGs) for short. FGGs generate sets of factor graphs and can describe a more general class of models than plate notation, dynamic graphical models, case-factor diagrams, and sum-product networks can.
David Chiang 0001, Darcey Riley
openaire +3 more sources
A graph rewriting programming language for graph drawing [PDF]
, 1998 This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process.
Rodgers, Peter
core +1 more source
Graph Algorithm Animation with Grrr [PDF]
, 2000 We discuss geometric positioning, highlighting of visited nodes and user defined highlighting that form the algorithm animation facilities in the Grrr graph rewriting programming language. The main purpose of animation was initially for the debugging and
Peter J. Rodgers +3 more
core +1 more source