在数学、逻辑和计算机科学中,递归可枚举语言是也叫做部分可判定语言或图灵可识别语言的形式语言类型。它在形式语言的乔姆斯基层级中叫做类型-0语言。所有递归可枚举语言的类叫做RE。
这类语言有个很拗口的名头,叫 递归可枚举语言 (Recursively Enumerable Languages)。
基于2464个网页-相关网页
In my research, a new parser model, which base on the typical process of the recursively enumerable language parser, is introduced, and the ability of this model is proved.
本文从递归可枚举语言解析器的工作原理出发,提出一种新型的解析器模型,并从理论上证明该模型确实能达到应有的解析能力。
参考来源 - 高度可扩展的递归可枚举语言解析器的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐