×
多米尼克·D·弗雷登伯格。；丹尼尔·雷登巴赫

分段态射的无歧义性。 （英语） Zbl 1209.05003号

离散应用程序。数学。 157，第14号，3055-3068（2009）.
摘要：本文研究了自由幺半群中形态的歧义性。如果存在一个与出现在\（\alpha\）中的符号的\（\sigma）不同的态射\（\tau \），但仍然满足\（\tau（\ alpha）=\ sigma（\alfa）\），则称一个态射\；如果没有这样的\（\tau\），那么\（\sigma \）被称为明确的。受最近关于语素歧义的第一篇论文的启发[D.D.弗雷登伯格，D.赖森巴赫、和J.C.施耐德，“字符串的无歧义变形图像”，Int.J.Found。计算。科学。17，没有。3, 601–628 (2006;Zbl 1110.68119号)]，我们引入了所谓的分段态射（sigma_n）的定义，对于任何一个（n in mathbb n），它将无限字母表中的每个符号映射到一个单词上，该单词由\（n）在\（ab^+a）中的不同因子组成，其中\（a）和\（b）是不同的字母。对于每一个\（n\），我们考虑无限字母表上那些有限字符串的集合\（U（\sigma\n）\），其中\（\sigma\n）是明确的，并且我们全面描述了它与任何\（U（\sigma\m），m\neq n\）的关系。
因此，我们的工作以第一种方法为特色，来描述字符串集的特征，其中某些固定语态是明确的，它导致了对这些集之间关系的相当反直觉的见解。此外，它还表明，在广泛使用的同构态射中，大多数分段态射对于较大的字符串集来说都是最佳的，因为它们是明确的。最后，本文对之前用于语素歧义研究的关键技术进行了几项重大改进。

引用于三文件

MSC公司：

05年5月 排列、单词、矩阵
65年第68季度 形式语言和自动机

关键词：

字的组合；态射；歧义；模式语言

引文：

Zbl 1110.68119号
PDF格式BibTeX公司 XML格式引用
\textit{D.Freydenberger}和\textit{D.Reidenbach}，离散应用。数学。157，第14号，3055--3068（2009；Zbl 1209.05003）
全文： 内政部 链接

参考文献：

[1] 贝克，K.A。；McNulty，G.F。；Taylor，W.，可避免单词的增长问题，理论计算机科学，69，319-345（1989）·Zbl 0693.68039号
[2] Cassaigne，J.，《不可避免的模式》，（Lothaire，M.，《单词的代数组合学》，《单词上的代数组合数学》，《数学及其应用百科全书》，第90卷（2002年），剑桥数学图书馆），111-134·Zbl 1001.68093号
[3] 乔夫鲁特，C。；Karhumäki，J.，（Rozenberg，G.；Salomaa，A.，《词汇组合学》，《形式语言手册》，第1卷（1997年），Springer），329-438，（第6章）
[4] 埃伦菲赫特，A。；Rozenberg，G.，《发现两个单词之间的同态是NP-完全的》，《信息处理快报》，986-88（1979）·Zbl 0414.68022号
[5] Freydenberger，D.D。；Reidenbach，D.，分段语素的明确性，（第11届语言理论发展国际会议论文集，第11届国际语言理论发展会议论文集），DLT 2007。程序。第十一届国际语言理论发展会议。程序。第11届语言理论发展国际会议，DLT 2007，计算机科学讲稿，第4588卷（2007）），181-192·Zbl 1202.68225号
[6] Freydenberger，D.D。；赖登巴赫，D。；Schneider，J.C.，《字符串的明晰图像》，《国际计算机科学基础杂志》，第17期，第601-628页（2006年）·Zbl 1110.68119号
[7] 哈拉瓦，V。；Harju，T。；Karhumäki，J。；Latteux，M.，将标记PCP的可判定性扩展到具有唯一块的实例，理论计算机科学，380，355-362（2007）·Zbl 1119.03041号
[8] Harju，T。；Karhumäki，J.，Morphisms，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer），439-510，（第7章）·Zbl 0866.68057号
[9] Head，T.，《0L方案的固定语言和成人语言》，《国际计算机数学杂志》，10，103-107（1981）·Zbl 0472.68034号
[10] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，《计算机与系统科学杂志》，50，53-63（1995）·Zbl 0827.68066号
[11] 列维，F。；Richomme，G.，关于态射的有限不动点的一个猜想，理论计算机科学，339，103-128（2005）·Zbl 1100.68089号
[12] Lipponen，M。；Péun，G.，强素数PCP单词，离散应用数学，63193-197（1995）·Zbl 0839.68055号
[13] Mateescu，A。；Salomaa，A.，Patterns，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997年），Springer），230-242，（第4.6章）·Zbl 0866.68057号
[14] A.R.Mitchell，扩展模式语言子类的可学习性，收录于：Proc。第十一届计算学习理论年会，COLT 1998年，1998年，第64-71页；A.R.Mitchell，扩展模式语言子类的可学习性，收录于：Proc。第十一届计算学习理论年会，COLT 1998年，1998年，第64-71页
[15] Ng，Y.K。；Shinohara，T.，《从实证数据中探究模式语言可学习性的发展》，《理论计算机科学》，397150-165（2008）·Zbl 1145.68025号
[16] Post，E.L.，递归不可解问题的变体，美国数学学会公报，52，264-268（1946）·Zbl 0063.06329号
[17] Reidenbach，D.，E模式语言的一个不可学习类，理论计算机科学，350，91-102（2006）·兹比尔1086.68116
[18] Reidenbach，D.，模式推理中的不连续性，理论计算机科学，397166-193（2008）·Zbl 1145.68027号
[19] 赖登巴赫，D。；Schneider，J.C.，形态原始词，理论计算机科学，410，2148-2161（2009）·Zbl 1166.68036号
[20] Sedgewick，R.，《算法》（1983），Addison-Wesley·Zbl 0529.68002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。