|
|||||
|
|
| 基于完备剩余格值逻辑的自动机和文法理论 | |
| 作者姓名： | 彭家寅 |
| 作者单位： | 内江师范学院数学与信息科学学院四川省高等学校数值仿真重点实验室内江641112 |
| 基金项目： | 国家自然科学基金项目,四川省科技厅重点科技项目,四川省教育厅重点实验室专项项目 |
| 摘 要： | 初步建立基于完备剩余格值逻辑自动机与文法理论的基本框架。引入l值正则文法的概念,证明了任意l值自动机识别的语言等价于某种l值正则文法所生成的语言,反之,任意l值正则文法所生成的语言等价于某种l值自动机识别的语言。获得l值自动机及被l值自动机识别的语言的连接问题刻画。特别地,建立l值和L值泵引理,并得到l值语言的判定性刻画。最后,揭示带ε移动的l值自动机与不带ε移动的l值自动机之间的两个等价关系。 |
| 关 键 词： | 非经典逻辑 自动机 正则文法 形式语言 泵引理 |
| 收稿时间： | 2010-09-01 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《模式识别与人工智能》浏览原始摘要信息 | |
| 点击此处可从《模式识别与人工智能》下载全文 | |