A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra

Mikołaj Bojańczyk, Bartek Klin

$\omega$-clones are multi-sorted structures that naturally emerge as algebras for infinite trees, just as $\omega$-semigroups are convenient algebras for infinite words. In the algebraic the…