正则语言差级层次综述
A survey on difference hierarchies of regular languages
AI总结：
本文综述正则语言的差级层次，介绍豪斯多夫的标准技术，并给出基于洗牌理想、强循环正则语言和群语言多项式闭包的差级层次可判定性结果。
摘要：
差级层次最初由豪斯多夫引入，在描述集合论中扮演重要角色。本综述论文研究正则语言的差级层次。前几节描述差级层次的标准技术，主要归功于豪斯多夫。我们通过给出基于洗牌理想、强循环正则语言和群语言多项式闭包的差级层次的可判定性结果来说明这些技术。
英文摘要：
Difference hierarchies were originally introduced by Hausdorff and they play an important role in descriptive set theory. In this survey paper, we study difference hierarchies of regular languages. The first sections describe standard techniques on difference hierarchies, mostly due to Hausdorff. We illustrate these techniques by giving decidability results on the difference hierarchies based on shuffle ideals, strongly cyclic regular languages and the polynomial closure of group languages.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
