您的位置： 专家智库 > >

重庆市文科重点研究基地项目(11SKB16)

作品数：1 被引量：1H指数：1
相关作者：顾恒更多>>
相关机构：西南大学更多>>
发文基金：重庆市文科重点研究基地项目更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇正则
  • 1篇正则语言
  • 1篇层级

机构

  • 1篇西南大学

作者

  • 1篇顾恒

传媒

  • 1篇毕节学院学报...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
从乔姆斯基语言层级看一阶语言被引量：1
2013年
通常的逻辑学教材都会讲到一阶语言是一种形式语言,但是所讲的形成规则一般都是规定什么是公式,而非如何构造公式。而本文从乔姆斯基的形式文法的观点重新理解一阶语言的形成过程。首先由于一阶语言是递归的,因此它一定是递归可枚举语言,从而存在一套形式文法生成它。本文就找到了一套可以生成一阶语言的形式文法,而且这套文法是上下文无关的,因此一阶语言不止是递归可枚举语言,还是上下文无关语言。更进一步地,借助哥德尔编码还可以构造一套生成一阶语言的正则文法,从而可以得出更强的结论:一阶语言是正则语言。
顾恒
关键词：正则语言
全选 清除 导出
共1页<1>
聚类工具0