Paper ID: 2111.15420

Undecidability in Finite Transducers, Defense Systems and Finite Substitutions

Vesa Halava

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

Submitted: Nov 30, 2021