论文部分内容阅读
字的代数组合这一领域是在数学的几个分支（如数论、群论、概率）上独立发展出来的，计算机科学理论也经常有她的身影出现。对字的组合特征如周期性和不可避免模式等进行研究是这一领域主要研究目的之一，字的组合特征与符号动力系统有密切联系。
自动机理论是在30年代为研究抽象计算机装置由Turing首次提出的。Turing当时提出的目的是为了准确描述计算机器的界限，在40年代和50年代，人们研究了许多不同种类的自动机。他们起初研究自动机的目的是模仿人脑的功能，却得出了对文本处理，汇编设计和程序设计语言等极为有用的结果。在50年代，Clomsky开始研究形式文法，并开启了人们对形式语言的系统研究。
我们今天所知道的形式语言主要研究无限语言的有限表示。形式语言的源泉之一是数学，特别是组合数学、代数学和逻辑学。形式语言是计算机科学的重要工具之一。研究形式语言主要有两种方法：直接的方法和句法方法。直接的方法就是对字符串和字的因子进行分析；句法方法包括研究特定的自动机或相关的幺半群。半群理论对研究某个语言的句法幺半群是很有帮助的。
字符串、语言和字的因子是直接法的重要工具之一，主同余是句法方法的重要工具之一，主同余也称句法同余，这种方式要追溯到50年代，她很好地为正则语言理论服务。关于有限字语言的析取性已有了丰富的结果，本文第二章在主同余的基础上新定义一种右同即P-n-右同余，在析取语言的基础上定义了P-n-右析取语言，并研究了这类语言的性质。
本论文主要分为二个章节。第一章主要是介绍一些本文用到的概念及其性质，第二章主要是给出P-n-右析取语言的定义，及它的相关性质。