关于语言的可识别性

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