{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,18]]，“日期-时间”：“2024-01-18T03:00:18Z”，“时间戳”：17055468197}，“参考-计数”：1，“出版商”：“通信科学指导中心（CCSD）”，“许可证”：[{“开始”：}“日期-零件”：[[2014,9,18]，“时间”：2014-09-18T00:00:00Z“，“timestamp”：1410998400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[]”，“abstract”（摘要）：“两种语言的分隔符是包含第一种语言的第三种语言，并且与第二种语言不相交。我们研究了以下决策问题：给定两种常规输入语言，确定是否存在本地可测试（即本地阈值可测试）分隔符。在这两种情况下，我们都会根据接受输入语言的航母中出现的特殊模式来设计决策程序。我们证明，这个问题在计算上比决定成员身份更难。该算法的正确性证明产生了一个更强的结果，即对可能的分隔符的描述。最后，我们讨论了无上下文输入语言的相同问题<\/jats:p>“，”DOI“：”10.2168\/lmcs-10（3:24）2014“，”type“：”journal-article“，”created“：{”date-parts“：[[2014,11,14]]，”date-time“：”2014-11-14T09:40:57Z“，”timestamp“：1415958057000}，”source“：“Crossref”，“is-referenced-by-count”：8，“title”：[“On Separation by Locally Testable and Locally Threshold Testable Languages”]，“prefix”：“10.46298”，“volume”：“volume”10、，第3期“，”作者“：[{”给定“：”托马斯“，”家庭“：”地点“，”序列“：”第一“，”从属关系“：[]}，{”给出“：”洛里金“，”家族“：”van Rooijen“，”顺序“：”附加“，”隶属关系“：[]}”，{“给定”：“马克”，“家庭”：“蔡顿”，“序列”：“附加”，“从属关系”：[]{]，“成员”：“25203”，“在线发布”：{“日期段”：[[2014,9,18]]}，“参考”：[{“密钥”：“940:not-found“}]，“container-title”：[“计算机科学中的逻辑方法”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/lmcs.episciences.org\/1163\/pdf”，“内容类型”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://lmcs.episcienses.org\/1163//pdf”，“content-type”：“未指定”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,4,11]]，”date-time“：”2023-04-11T20:05:21Z“，”timestamp“：1681243521000}，”score“：1，”resource“：”primary“：：[[2014,9,18]]}，“references-count”：1，“URL”：“http:\/\/dx.doi.org\/10.2168\/lmcs-10（3:24）2014“，”关系“：{”is-same-as“：[{”id-type“：”arxiv“，”id“：”1308.0181“，”asserted-by“：”subject“}，{”id type“：”doi“，”id“：”10.48550\/arxiv.1308.0181[{“值”：“1860-5974”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2014,9,18]]}}