Displaying similar documents to “Undecidability of the equivalence of finite substitutions on regular language”