Current browse context:
cs
Change to browse by:
References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
(Submitted on 30 Nov 2021)
Abstract: 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.
Link back to: arXiv, form interface, contact.