A Tool for Intersecting Context-Free Grammars and Its Applications

机译：交叉无背景语法及其应用的工具

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper describes a tool for intersecting context-free grammars. Since this problem is undecidable the tool follows a refinement-based approach and implements a novel refinement which is complete for regularly separable grammars. We show its effectiveness for safety verification of recursive multi-threaded programs.

机译：本文介绍了一种与无线语法相交的工具。由于这个问题是不可判定的，该工具遵循基于改进的方法，实现了一种新的细化，该细化是用于定期可分离的语法。我们展示了递归多线程的安全验证的有效性。

著录项

来源
《International Symposium on NASA Formal Methods》|2015年||共7页
会议地点
作者
Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Sondergaard; Peter J. Stuckey;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP3-53;
关键词

相似文献

外文文献
中文文献
专利

1. Fuzzy context-free languages - Part 1: Generalized fuzzy context-free grammars [J] . Peter R. J. Asveld Theoretical computer science . 2005,第1a2期

机译：模糊上下文无关语言-第1部分：广义模糊上下文无关文法
2. Sizes of context-free languages generated by context-free grammars and stable and recurrent 0L systems [J] . Taishin Y. Nishida Journal of Automata, Languages and Combinatorics . 2001,第4期

机译：无上下文语法以及稳定和循环的0L系统生成的无上下文语言的大小
3. Application of the CKY Algorithm to Recognition of Tree Structures for Linear, Monadic Context-Free Tree Grammars [J] . Akio FUJIYOSHI IEICE Transactions on Information and Systems . 2007,第2期

机译：CKY算法在线性，单语无上下文树语法的树结构识别中的应用
4. A Tool for Intersecting Context-Free Grammars and Its Applications [C] . Graeme Gange, Jorge A. Navas, Peter Schachte, International symposium on NASA formal methods . 2015

机译：相交上下文无关文法的工具及其应用
5. TRANSPOSITION GRAMMARS AND PRODUCTION PROBABILITY ESTIMATORS FOR CONTEXT-FREE GRAMMARS (AUTOMATA, STATISTICS, RANDOM WALKS). [D] . HUMENIK, KEITH. 1985

机译：无上下文语法（自动，统计，随机漫步）的移位语法和生产概率估计。
6. Searching for universal model of amyloid signaling motifs using probabilistic context-free grammars [O] . Witold Dyrka, Marlena Gąsior-Głogowska, Monika Szefczyk, 2021

机译：使用概率无背景语法寻找淀粉样蛋白信令基序的通用模型
7. Context-free hypergraph grammars with node rewriting11This research was partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and the ESPRIT Basic Research Working Group APPLIGRAPH (Applications of Graph Transformation). [O] . Klempien-Hinrichs Renate 2002

机译：节点重写的无上下文超图语法11该研究得到了EC TMR网络GETGRATS（图转换系统的一般理论）和ESPRIT基础研究工作组APPLIGRAPH（图转换的应用）的部分支持。
8. Tool for Intersecting Context-Free Grammars and Its Applications. [R] . Gange, G., Navas, J. A., Schachte, P., 2015

机译：相互作用无上下文语法的工具及其应用。

A Tool for Intersecting Context-Free Grammars and Its Applications

摘要

著录项

相似文献

相关主题

期刊订阅