From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games
From Hyperedge Replacement Grammars to Decidable Hyperedge Replacement Games
复制标题
从超边替换语法到可判定超边替换博弈
DOI：
10.1007/978-3-030-04771-9_33
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Peuser
中科院分区：
文献类型：
--
作者：
Peuser
在不利条件下考虑了超边替换文法的正确性。与现有方法相比，除了系统行为之外，还考虑了不利环境的影响。为此，我们构建了一个超边替换游戏，其中规则表示玩家可用的移动，时间条件指定系统的所需属性。特别是，从超边替换文法的奇偶性下推游戏的建设结果在一类可判定的游戏。
We consider correctness of hyperedge replacement grammarsunder adverse conditions. In contrast to existing approaches, the influence of an adverse environment is considered in addition to system behaviour. To this end, we construct a hyperedge replacement game where rules represent the moves available to players and a temporal condition specifies the desired properties of the system. In particular, the construction of parity pushdown games from hyperedge replacement grammars results in a decidable class of games.
登录
查看更多内容
用于谈判特征的图形转换游戏
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
M. Alabdullatif
通讯作者：
M. Alabdullatif
Hyperedge 替换：语法和语言
DOI：
--
发表时间：
1992
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
A. Habel
通讯作者：
A. Habel
DOI：
--
发表时间：
2009
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
Lukasz Kaiser
通讯作者：
Lukasz Kaiser
DOI：
--
发表时间：
2006
期刊：
Workshop on Recent Trends in Algebraic Development Techniques
影响因子：
--
作者：
Paolo Baldan;A. Corradini;B. König;Alberto Lluch
通讯作者：
Alberto Lluch