论文信息 - Test Sets for Finite Substitutions

Test Sets for Finite Substitutions

Abstract Ehrenfeucht'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 Konig's Lemma, and embeddings of the monoid into a free algebra.

Michael H. Albert | J. Lawrence

[1] M. H. Albert,et al. The descending chain condition on solution sets for systems of equations in groups , 1986 .

[2] G. Bergman,et al. The Semigroup of Ideals of a Fir is (Usually) Free , 1975 .

[3] Juhani Karhumäki,et al. The Ehrenfeucht Conjecutre: A Compactness Claim for Finitely Generated Free Monoids , 1984, Theor. Comput. Sci..

[4] P. Cohn. Free rings and their relations , 1973 .

[5] Michael H. Albert,et al. A Proof of Ehrenfeucht's Conjecture , 1985, Theor. Comput. Sci..