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.

翻译：在这份手稿中,我们详细证明普通语言的有限替代物的等同性不可减损。 证据是基于列奥尼德·普·利索维奇的作品。