分段可测试树语言
Piecewise testable tree languages
摘要：
本文给出了树语言的一个可判定刻画，它可以由Sigma_1语句的布尔组合来定义。这是西蒙定理的一个树扩展，西蒙定理说，一个字符串语言可以由Sigma_1句子的布尔组合来定义，当且仅当它的语法幺半群是J-平凡的。
英文摘要：
This paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Sigma_1 sentences. This is a tree extension of the Simon theorem, which says that a string language can be defined by a boolean combination of Sigma_1 sentences if and only if its syntactic monoid is J-trivial.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
