Scifaro

中文

有限 transducer、防御系统与有限代换中的不可判定性

形式语言与自动机理论 2021-12-01 v1 计算与语言离散数学

作者: Vesa Halava

在 arXiv 上查看 ↗ PDF ↗

摘要

在本稿件中，我们给出正则语言 $b\{0,1\}^*c$ 上有限代换等价性不可判定性的详细证明。该证明基于 Leonid P. Lisovik 的工作。

关键词

不可判定性有限 transducer 有限代换正则语言防御系统

引用

@article{arxiv.2111.15420,
  title  = {Undecidability in Finite Transducers, Defense Systems and Finite Substitutions},
  author = {Vesa Halava},
  journal= {arXiv preprint arXiv:2111.15420},
  year   = {2021}
}