加载中…
In this article we provide effective characterisations of regular languages of infinite trees that belong to the low levels of the Wadge hierarchy. More precisely we prove decidability for each of the finite levels of the hierarchy; for the class of the Boolean combinations of open sets (i.e. the union of the first levels); and for the Borel class (i.e. for the union of the first levels).

生成讲解博客的中文版本

生成AI智能校验的中文版本