中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
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逻辑程序的特征.
英文摘要: In this paper, Horn logic programs with grammatical view is considered. Because the computability of Horn logic programs is equivalent to that of Turing machines and the latter are equivalent to that of type-0 grammars, Horn logic programs are equivalent to type-0 grammars. This paper is to aim at exploring how Horn logic programs are equivalent to type-0 grammars and what is the characterics of Horn logic programs that are semantically equivalent to subclasses of type-0 grammars. In this paper, the results of research are as follows: The method to find type-0 grammars generating the least Herbrand models of Horn logic program is given. The method to find Horn logic programs generating the languages of type-0 grammars is given. The characterics of Horn logic programs that are semantically equivalent to recursive grammars, type-1 grammars, type-2 grammars, and type-3 grammars are given.
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6574
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
LW011243.pdf(1661KB)----限制开放-- 联系获取全文

Recommended Citation:
陈文彬. Horn逻辑程序和形式文法之间的对应关系[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2003-01-01.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[陈文彬]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[陈文彬]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace