子词不等式的绝对性是不可判定的
形式语言与自动机理论
2011-08-16 v1
摘要
Mateescu、Salomaa和Yu提出过一个问题：对于一个给定的子词历史，在给定字母表上的所有词是否只取非负值，这是否是可判定的？在本文中，我们通过证明即使在比最初假设更强的条件下该问题也是不可判定的，从而解决了这一开放问题。
引用
@article{arxiv.1108.2758,
title = {Absoluteness of subword inequality is undecidable},
author = {Shinnosuke Seki},
journal= {arXiv preprint arXiv:1108.2758},
year = {2011}
}