| 从命题时态逻辑产生上下文无关文法 |
| |
| 引用本文： | 杜慧敏,高德远.从命题时态逻辑产生上下文无关文法[J].微电子学与计算机,1998,15(5):36-40. |
| |
| 作者姓名： | 杜慧敏 高德远 |
| |
| 作者单位： | 西安邮电学院计算机系 |
| |
| 摘 要： | 线性命题时态逻辑能描述有限状态系统的无限行为。这种行为能用上下文无关文法准确地描述。根据该文法，可以构造一个满足时态逻辑公式的Ｋｒｉｐｋｅ结构。本文给出构造对应于命题时态逻辑公式的上下文无关文法及由该文法构造Ｋｒｉｐｋｅ结构的方法。
|
| 关 键 词： | 线性命题时态逻辑，上下文无关文法，Kripke结构 |
Generating Context_Free Grammer from Temporal Logic |
| |
| Du Huimin,Gao Deyuan and Han Jungang.Generating Context_Free Grammer from Temporal Logic[J].Microelectronics & Computer,1998,15(5):36-40. |
| |
| Authors: | Du Huimin Gao Deyuan and Han Jungang |
| |
| Abstract: | Linear Temporal Logic formulae can describe the infinite behavior of a system which can be represented by a context free grammar According to the grammar,a Kripke structure satisfying the formulae can be constructed The paper presents a method for constructing a context free grammar for a given formula and Kripke structure based on the grammar |
| |
| Keywords: | Linear Temporal Logic Context_free grammar Kripke structure |
| 本文献已被 CNKI 维普 等数据库收录！ |
