约阿希姆·布雷默；多米尼克·D·弗雷登伯格。 变量数目有界的模式的包含问题。 （英语） Zbl 1250.68148号 Gao，Yuan（编辑）等人，《语言理论的发展》。第14届国际会议，DLT 2010，伦敦，安大略省，加拿大，2010年8月17日至20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14454-7/pbk）。计算机科学讲座笔记6224100-111（2010）。 摘要：我们研究由变量数目有限的模式生成的模式语言的包含问题。这将通过以下方式继续工作D.D.弗雷登伯格和D.赖登巴赫【Inf.Compute.208，No.1，83-96（2010；兹比尔1189.68071)]通过表明将包含问题限制为更严格的模式类可以保持不可判定性，至少对于相对较大的边界是这样的。对于较小的界，我们证明了与Collatz猜想相关的具有复杂包含关系的模式类和开放包含问题的存在性。除此之外，我们给出了NE模式语言包含问题不可判定性的第一个证明，与以前的证明相比，该证明不依赖于E模式语言的包含问题，并证明了NE语言包含问题在二进制和三元字母表上的不可判定。关于整个系列，请参见[Zbl 1194.68035号]. 引用于5文件 MSC公司： 65年第68季度 形式语言和自动机 引文：Zbl 1189.68071号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bremer}和\textit{D.Freydenberger}，莱克特。注释计算。科学。6224100-111（2010年；Zbl 1250.68148） 全文： 内政部 链接