有限转换器、防御系统和有限替换中的不可判定性
Undecidability in Finite Transducers, Defense Systems and Finite Substitutions
University of Turku（图尔库大学）
摘要：
本文给出了正则语言$b\{0,1\}^*c$上有限替换等价的不可判定性的详细证明。这个证明是基于Leonid P. Lisovik的作品。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
