戴，乔尔·D·。;丹尼尔·雷登巴赫;约翰·施奈德（Johannes C.Schneider）。 关于对偶Post对应问题。 （英语） Zbl 1317.68127号 发现的国际期刊。计算。科学。 25，第8期，1033-1048（2014）. 双后置对应问题询问，对于某个字母表（a\）上的给定单词\（w\），是否存在两种不同的语素\（g，h:a^*\右箭头B^*\），其中至少有一种是非周期的，例如\（g（w）=h（w）\）；这里可以假设（B）是一个固定的二进制字母表。对于给定的字母表\（a\），让DPCP表示双PCP有解的单词集\（a^*\中的w）。对于二进制字母表\（a\），已知几种属于DPCP的一般类型的单词，以及不属于DPCP单词。本文解决了研究较少的大型字母的情况。作者介绍了一些新的技术机制，其中特别涉及到关于自由幺半群的某些态射的结果。例如，它们描述了将不在DPCP中的给定单词映射到不在DPCR中的单词的语素。然后给出了一个词属于DPCP的一般条件和它不在DPCP中的条件。此外，他们给出了一个构造性的证明，即对于任意大的字母表，存在不属于DPCP的比率原语。审核人：马格努斯·斯坦比（图尔库） 引用于1文件 MSC公司： 70年第68季度 语言代数理论与自动机 65年第68季度 形式语言和自动机 68兰特 单词组合学 20立方米 自动机理论、语言学等中的半群。 关键词：态射;对偶Post对应问题;等式集;单词方程式;周期性强制集;语素的歧义性 PDF格式BibTeX公司 XML格式引用 \textit｛J.D.Day｝等人，Int.J.Found。计算。科学。25，第8号，1033--1048（2014；Zbl 1317.68127） 全文： 内政部 参考文献： [1] 内政部：10.1145/322123.322136·Zbl 0395.68076号 ·doi:10.1145/322123.322136 [2] 内政部：10.1142/S0129054107005212·Zbl 1183.68440号 ·doi:10.1142/S0129054107005212 [3] 内政部：10.1007/978-3-642-38771-5_16·Zbl 1381.68111号 ·doi:10.1007/978-3-642-38771-5_16 [4] 数字对象标识码：10.1007/978-3-642-40579-2_13·Zbl 1398.68412号 ·doi:10.1007/978-3-642-40579-2-13 [5] DOI:10.1016/s019-9958（79）90082-2·Zbl 0422.68034号 ·doi:10.1016/S0019-9958（79）90082-2 [6] DOI:10.1016/j.tcs.2012.04.045·Zbl 1258.68108号 ·doi:10.1016/j.tcs.2012.04.045 [7] 内政部：10.1142/S0129054106004017·Zbl 1110.68119号 ·doi:10.1142/S0129054106004017 [8] 内政部：10.1007/978-3-540-85780-8_31·Zbl 1159.68030号 ·doi:10.1007/978-3-540-85780-8_31 [9] 内政部：10.1006/inco.1995.1128·Zbl 0834.68033号 ·doi:10.1006/inco.1995.1128 [10] DOI:10.1090/S0002-9904-1946-08555-9·Zbl 0063.06329号 ·doi:10.1090/S0002-9904-1946-08555-9 [11] DOI:10.1016/j.tcs.2009.01.020·Zbl 1166.68036号 ·doi:10.1016/j.tcs.2009.01.020 [12] Salomaa A.，《控制学报》第4卷第127页–（1978年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。