期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

ω-自动机与扩大了的正规表达式 被引量：2

ω-AUTOMATA AND EXTENDED REGULAR EXPRESSIONS
下载PDF
导出
摘要 在提出扩大了的正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达式之间的1－1对应，并给出了2类不能构造出确定型ω－自动机的ω－正规表达式（语言）． Based on giving the concept of an extended regular expression,a 1-1 correspondence between ω-automata and extended ω-regular expressions is established,and two classesof ω-regular expressions which can not have deterministic ω-automata are given.
作者 别荣芳
机构地区 北京师范大学数学系
出处 《北京师范大学学报（自然科学版）》 CAS CSCD 北大核心 1997年第4期448-452,共5页 Journal of Beijing Normal University(Natural Science)
基金 国家自然科学基金!19571009
关键词 正规表达式 正规算子 ω-自动机 自动机 extended regular expressions regular operator ω-automata
分类号 TP301.1 [自动化与计算机技术—计算机系统结构]
  • 相关文献

同被引文献15

  • 1吕映芝.上下文无关文法与无限状态自动机[J].电子学报,1996,24(8):23-27. 被引量：8
  • 2Suwa M, Scott S C, Shordiffe E H. An approach to verifying completeness and consistency in rule-based expert systems[J]. Artificial Intelligence Magazine, 1982,3(4):16.
  • 3Cragun B J, Steudel H J. A decision-table-based processor for checking completeness and consistency in rule-based expert systems[J]. International Journal of Man-Machine Studies, 1987,26(5):633.
  • 4Valiente G. A technique for knowledge base verification[J]. International Journal of Expert Systems,1993,6(3) :41.
  • 5Hutter D, Langenstein B, Rock G, et al. Formal software development in verification support environment[J]. Journal of Experimental and Theoretical AI,2000(12) :383.
  • 6Grigoris A. Integrity and rule checking in non-monotonic knowledge bases [J]. Knowledge-based Systems, 1996,9(5) :301.
  • 7Ligeza A. Toward logical analysis of tabular rule-based systems[J]. International Journal of Intelligence Systems, 2001,16(3) :333.
  • 8Knauf R, Philippow I, Gonzalez A J. Towards validation and refinement of rule-based systems[J].Journal of Experiment & Theoretical Artificial Intelligence, 2001,12(4):421.
  • 9Andert E P. Integrated knowledge-based system design and validation for solving problem in uncertain environments[J]. International Journal of Man-Machine Studies, 1992,36 (2) : 357.
  • 10Chang C L, Combs J B, Stachowitz R A. A report on the expert systems validation associate(EVA)[J].Expert Systems with Applications, 1990,1(3):217.

引证文献2

二级引证文献17

北京师范大学学报（自然科学版）
1997年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部