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.

Authors

Vesa Halava

This author has not been identified. Look up 'Vesa Halava' in Google

Tero Harju

This author has not been identified. Look up 'Tero Harju' in Google