基于完备剩余格值逻辑的自动机和文法理论

• 作者: 彭家寅
• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 非经典逻辑 自动机 正则文法 形式语言 泵引理
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 论文与报告
• 页码范围: 610-618
• 分类号: TP301.1
• 字数: 6996字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6059.2011.05.003

摘要

初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架.引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言,获得l值自动机及被l值自动机识别的语言的连接问题刻画.特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画.最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭家寅	内江师范学院数学与信息科学学院四川省高等学校数值仿真重点实验室	130	458	9.0	17.0