Undecidability in Finite Transducers, Defense Systems and Finite Substitutions

Abstract

In this manuscript we present a detailed proof for undecidability of the equivalence of finite substitutions on regular language $b\{0,1{\}}^{\ast }c$. The proof is based on the works of Leonid P. Lisovik.