量子有限自动机与线性上下文无关语言：一个可判定的问题
摘要：在考虑由Moore和Crutchfield在2000年引入的所谓的有限量子自动模型中，我们证明了对于一个被这种设备识别的语言和一个线性上下文无关语言，它们是否有非空交集是可递归决定的。这扩展了Blondel等人的结果，可以将其解释为使用自由幺半群代替线性上下文无关语言族来解决这个问题。
作者：A. Bertoni. Ch. Choffrut, F. D'Alessandro
论文ID：1303.2967
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-03-13