Test sets for morphisms with bounded delay

Christian Choffrut, Juhani Karhumäki
1985 Discrete Applied Mathematics  
Let p be a fixed nonnegative integer. We prove the Ehrenfeucht Conjecture for morphisms having deciphering delay bounded by p. In other words, we show that for each language L over a finite alphabet there exists a finite subset F of L such that for arbitrary morphisms h and g having deciphering delay bounded by p, the equation h(x) =g(x) holds for all x in L if and only if it holds for all x in F. Soit pun entier positif ou nul. Nous prouvons la conjecture de Ehrenfeucht pour les morphismes
more » ... t un d61ai de d6chiffrage born6 par p. En d'autres termes, nous montrons que pour tout langage L sur un alphabet fini, il existe un sous-ensemble fini F de L tel que pour tout couple h,g de morphismes ayant un d61ai de
doi:10.1016/0166-218x(85)90063-0 fatcat:ymxoiyz43zd43otju7hizwqilu