关于语言的可识别性  

作　　者：沈传龙 

出　　处：《杭州教育学院学报》1996年第4期6-7,共2页JOURNAL OF HANGZHOU EDUCATIONAL INSTITUTE

摘　　要：本文讨论了语言L∈A^+的可识别性,证明了以下的结论:若L∈A^+是可识别的,则 InL:{s∈A^+|s是L中元素的起始节} TerL={s∈A^+|s是L中元素的终结节} SegL={s∈A^+|s是L中元素的一节}都是可识别的。

关 键 词：可识别语言 可识别性 有限自动机 元素 概念定义 当且仅当 证明 有限集 映射 终结 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]