Horn逻辑程序和形式文法之间的对应关系
文献类型：学位论文
| 作者 | 陈文彬 |
| 学位类别 | 博士 |
| 答辩日期 | 2003 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 文法 逻辑程序 最小Herbrand模型 |
| 其他题名 | The Correspondence between the Horn Logic Programs and Grammars |
| 学位专业 | 基础数学 |
| 中文摘要 | 这篇论文从文法的角度研究了Horn逻辑程序．因为Horn逻辑程序的计算能力与图灵机是等价的，而图灵机的计算能力与。型文法是等价的，所以，Horn逻辑程序可以与。型文法相互对应起来，可以根据文法的分类方法将Horn逻辑程序进行分类．本论文的研究目的是探索Horn逻辑程序怎样与。型文法对应起来及与。型文法的子类相对应的Horn逻辑程序有什么特征，以刻划出Horn逻辑程序的层次结构．在本论文中，得到了如下的研究结果：找到了用O型文法产生Horn逻辑程序的最小Herbrand模型的方法，找到了用Horn逻辑程序模拟。型文法的方法，描述了与递归文法，1型文法，2型文法，3型文法等价的Horn逻辑程序的特征． |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 26 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6574]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 陈文彬. Horn逻辑程序和形式文法之间的对应关系[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2003. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。