3 research outputs found
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
-clones are multi-sorted structures that naturally emerge as algebras
for infinite trees, just as -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 finite in some
simple sense. We show that, for infinite trees, the situation is not so simple:
there exists an -clone that is finite on every sort and finitely
generated, but recognizes a non-regular language
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
-clones are multi-sorted structures that naturally emerge as algebras
for infinite trees, just as -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 finite in some
simple sense. We show that, for infinite trees, the situation is not so simple:
there exists an -clone that is finite on every sort and finitely
generated, but recognizes a non-regular language
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
-clones are multi-sorted structures that naturally emerge as algebrasfor infinite trees, just as -semigroups are convenient algebras forinfinite words. In the algebraic theory of languages, one hopes that a languageis regular if and only if it is recognized by an algebra that is finite in somesimple sense. We show that, for infinite trees, the situation is not so simple:there exists an -clone that is finite on every sort and finitelygenerated, but recognizes a non-regular language