论文部分内容阅读
<正> 为了开展形式语言代数结构的研究,郭聿琦等移植自由群子群的Schreier方法到形式语言中来,建立了一般语言描述上的所谓Schreier系统,并讨论了这种系统的一般构造。本文对Schreier方法进行一些讨论,不仅考察关于的语言的Schreier截面,而且考察关于关系的语言的Schreier截面。