Search

• < Previous
• 1
• Next >

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

$\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 theory of languages, one hopes that a language is regular if and only if it is recognized by an algebra that is&nbsp;[&hellip;]