×
多米尼克·D·弗雷登伯格。；侯赛因·奈维斯；丹尼尔·雷登巴赫

弱明确的形态。 （英语） Zbl 1258.68108号

西奥。计算。科学。 448，21-40（2012年）.
在这篇非常有趣的论文中，作者重点讨论了语态的一个基本的和理想的性质，即弱不二义性。更准确地说，他们研究了一个问题，即给定一个模式（mathbb{N}^+中的alpha），是否存在一个长度递增的非擦除态射（sigma:mathbb}N}^+\rightarrow\sigma^+），该态射相对于\（alpha它满足（τ（α）=σ（α。他们表明，这种态射的存在依赖于目标字母表的大小。对于（|\Sigma|\geq3），作者给出了一个紧凑且有效的可判定特征条件。对于\（|\Sigma|=2\），它们给出了充分或必要的条件，但不存在可判定性问题。对于\（|\Sigma|=1\），它们表明存在依赖于与\（\alpha\）中需要满足的变量数量相关的某些特定方程。
审核人：弗朗西娜·布兰切特·萨德里（格林斯博罗）

引用于1文件

MSC公司：

68兰特 单词组合学

关键词：

非提升态射；歧义
PDF格式BibTeX公司 XML格式引用
\textit{D.D.Freydenberger}等人，Theor。计算。科学。448，21--40（2012；Zbl 1258.68108）
全文： 内政部

参考文献：

[1] 伯斯特尔，J。；佩林，D.，《代码理论》（1985），学术出版社：奥兰多学术出版社·Zbl 1022.94506号
[2] Freydenberger，D.D。；Nevisi，H。；Reidenbach，D.，弱明确语态，（第28届计算机科学理论方面年度研讨会，第28届计算科学理论方面年会，2011年STACS。程序。第28届计算机科学理论方面年度研讨会。程序。第28届计算机科学理论方面年度研讨会，STACS 2011，LIPIcs，第9卷（2011）），213-224·Zbl 1230.68162号
[3] Freydenberger，D.D。；Reidenbach，D.，分段形态的明确性，离散应用数学，1573055-3068（2009）·Zbl 1209.05003号
[4] Freydenberger，D.D。；赖登巴赫，D。；Schneider，J.C.，《字符串的明晰图像》，《国际计算机科学基础杂志》，第17期，第601-628页（2006年）·Zbl 1110.68119号
[5] D.Hamm，J.Shallit，自由幺半群上态射的有限和单边无限不动点的刻画，技术报告CS-99-17，滑铁卢大学计算机科学系，1999年。网址：http://www.cs.uwaterloo.ca/shallit/papers.html；D.Hamm，J.Shallit，自由幺半群上态射的有限和单边无限不动点的刻画，技术报告CS-99-17，滑铁卢大学计算机科学系，1999年。网址：http://www.cs.uwaterloo.ca/shallit/papers.html
[6] Harju，T。；Karhumäki，J.，Morphisms，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer），第439-510页，（第7章）·Zbl 0866.68057号
[7] Holub，S.，非平凡态射不动点的多项式时间算法，离散数学，309，5069-5076（2009）·Zbl 1187.68364号
[8] Mateescu，A。；Salomaa，A.，《模式》（Rozenberg，G.；Salomaaa，A.，形式语言手册，第1卷（1997），Springer），230-242，（第4.6章）·Zbl 0866.68057号
[9] Reidenbach，D.，E模式语言的一个不可学习类，理论计算机科学，350，91-102（2006）·兹比尔1086.68116
[10] Reidenbach，D.，对Ohlebusch和Ukkonen关于E模式语言等价问题的猜想的检验，《自动化杂志，语言和组合数学》，12，407-426（2007）·Zbl 1149.68054号
[11] Reidenbach，D.，模式推理中的不连续性，理论计算机科学，397166-193（2008）·Zbl 1145.68027号
[12] 赖登巴赫，D。；Schneider，J.C.，形态原始词，理论计算机科学，410，2148-2161（2009）·Zbl 1166.68036号
[13] 赖登巴赫，D。；Schneider，J.C.，消除语素的限制性歧义，理论计算机科学，4123510-3523（2011）·兹比尔1221.68186
[14] Schneider，J.C.，《自由拟群中的无歧义擦除态射》，RAIRO理论信息学与应用，44193-208（2010）·Zbl 1203.68132号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。