Undecidability of the equivalence of finite substitutions on regular language

Vesa Halava, Tero Harju. Undecidability of the equivalence of finite substitutions on regular language. ITA, 33(2):117-124, 1999.

Abstract

Abstract is missing.