AbstractEhrenfeucht's Conjecture, that each subset S of a finitely generated free monoid has a finite subset T such that if two endomorphisms of the monoid agree on T, then they agree on S, has recently been verified. In this paper we extend this result from endomorphisms to certain types of finite substitutions by applying König's Lemma, and embeddings of the monoid into a free algebra
AbstractWe study finite test-sets for overlap-freeness of morphisms from a free monoid A∗ into anoth...
AbstractEilenberg has shown that there is a one-to-one correspondence between varieties of finite mo...
AbstractWe will show that some variants of the Ehrenfeucht Conjecture give us algebraic properties w...
AbstractEhrenfeucht's Conjecture, that each subset S of a finitely generated free monoid has a finit...
AbstractEhrenfeucht's Conjecture states that each subset S of a finitely generated free monoid has a...
It is shown that for every context free language L there effectively exists a test set F, that is, a...
AbstractEhrenfeucht's conjecture states that every language L has a finite subset F such that, for a...
AbstractIt is proved to be decidable, for any given finite subset F of X∗ and mapping ϕ:F→X∗, whethe...
AbstractFor checking equivalence of any two word morphisms, restricted on a subset (language), it su...
It is shown that for every context free language L there effectively exists a test set F, that is, a...
AbstractEhrenfeucht's conjecture states that every language L has a finite subset F such that, for a...
AbstractSeveral observations concerning equations over monoids of finite sets of words are made. Mon...
An element u of a finitely generated free Lie algebra L is a test element if any endomorphism of L f...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
An alternative definition is given for a family of subsets of a free monoid that has been considered...
AbstractWe study finite test-sets for overlap-freeness of morphisms from a free monoid A∗ into anoth...
AbstractEilenberg has shown that there is a one-to-one correspondence between varieties of finite mo...
AbstractWe will show that some variants of the Ehrenfeucht Conjecture give us algebraic properties w...
AbstractEhrenfeucht's Conjecture, that each subset S of a finitely generated free monoid has a finit...
AbstractEhrenfeucht's Conjecture states that each subset S of a finitely generated free monoid has a...
It is shown that for every context free language L there effectively exists a test set F, that is, a...
AbstractEhrenfeucht's conjecture states that every language L has a finite subset F such that, for a...
AbstractIt is proved to be decidable, for any given finite subset F of X∗ and mapping ϕ:F→X∗, whethe...
AbstractFor checking equivalence of any two word morphisms, restricted on a subset (language), it su...
It is shown that for every context free language L there effectively exists a test set F, that is, a...
AbstractEhrenfeucht's conjecture states that every language L has a finite subset F such that, for a...
AbstractSeveral observations concerning equations over monoids of finite sets of words are made. Mon...
An element u of a finitely generated free Lie algebra L is a test element if any endomorphism of L f...
We develop a constructive theory of finite multisets in Homotopy Type Theory, defining them as free ...
An alternative definition is given for a family of subsets of a free monoid that has been considered...
AbstractWe study finite test-sets for overlap-freeness of morphisms from a free monoid A∗ into anoth...
AbstractEilenberg has shown that there is a one-to-one correspondence between varieties of finite mo...
AbstractWe will show that some variants of the Ehrenfeucht Conjecture give us algebraic properties w...
DOI
Add to ORKG