Undecidability in Finite Transducers, Defense Systems and Finite Substitutions

Abstract

<p> In this manuscript we present a detailed proof for undecidability of the equivalence of finite substitutions on regular language <span><em>b</em><span>{</span><span>0</span><span>,</span><span>1</span><span>}*</span><span></span><em>c</em></span>. The proof is based on the works of Leonid P. Lisovik. <br></p>