# Undecidability in Finite Transducers, Defense Systems and Finite Substitutions

arXiv: https://arxiv.org/abs/2111.15420 · HTML: https://mlsanity.com/paper/2111.15420/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 0 of its 13 references that are in the map.
- First posted on arXiv 30 Nov 2021.

## Abstract (arXiv)

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