拟序在形式语言理论中的应用

本论文利用字上的拟序，为形式语言理论中两个被广泛研究的问题——语言包含判定与正则语言有限自动机表示的操纵——提供新视角。首先，我们提出一个基于拟序的通用框架，以不同拟序实例化后可得到判定语言包含的不同算法（其中一些为新算法）。我们随后实例化该框架，设计出在文法压缩文本上用正则表达式高效搜索的算法。最后，我们定义基于拟序的自动机构造框架，以对残差自动机提供新认识。