无星语言的连接族的omega-不等式问题
The omega-inequality problem for concatenation hierarchies of star-free languages
摘要：
本文考虑的问题是，在无星语言的连接层次的给定水平上，ω-项不等式是否有效。主要结果表明，该问题是可判定的所有（整数和半）水平的Straubing-Thérien的层次。
英文摘要：
The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Thérien hierarchy.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
