带无界量词的弱Mso
Weak Mso with the Unbounding Quantifier
摘要：
本文引入了一类新的无限词语言，称之为极大正则语言，它是对$ω$ -正则语言类的扩充.这个类有两个等价的描述：自动机（一种确定性计数器自动机）和逻辑（带有边界量词的弱一元二阶逻辑）。给出了逻辑和自动机之间的有效转换。
英文摘要：
A new class of languages of infinite words is introduced, called the max-regular languages, extending the class of $ω$-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter automaton), and in terms of logic (weak monadic second-order logic with a bounding quantifier). Effective translations between the logic and automata are given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
