| 从乔姆斯基语言层级看一阶语言 |
| |
| 引用本文： | 顾恒.从乔姆斯基语言层级看一阶语言[J].毕节学院学报,2013,31(4):13-20. |
| |
| 作者姓名： | 顾恒 |
| |
| 作者单位： | 西南大学逻辑与智能研究中心,重庆,400715 |
| |
| 基金项目： | 重庆市重点文科基地重点项目"动态认知逻辑的拓展研究"成果之一;项目 |
| |
| 摘 要： | 通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。
|
| 关 键 词： | 一阶语言 乔姆斯基层级 生成文法 形式文法 正则语言 |
Viewing First-order Language from Chomsky' s Hierarchy |
| |
| GU Heng.Viewing First-order Language from Chomsky' s Hierarchy[J].Journal of Bijie University,2013,31(4):13-20. |
| |
| Authors: | GU Heng |
| |
| Institution: | GU Heng (Center for the Study of Logic and Intelligence,Southwest University,Chongqing400715,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
