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

描述性模式的存在和不存在。 （英语） Zbl 1195.68056号

西奥。计算。科学。 411，编号34-36，3274-3286（2010）。
摘要：我们研究描述性模式的存在，即通过语素覆盖给定集合中所有单词的模式，并且在揭示这些单词的共性方面是最佳的。我们的主要结果表明，如果模式可以通过任意的语态映射到单词，那么就存在无限组没有描述性模式的单词。这回答了由T.Jiang、E.Kinber、A.Salomaa、K.Salomaa和S.Yu（S.余）【国际计算数学杂志50，第3-4期，147-163（1994；Zbl 0939.68690号)]. 由于模式是否是描述性的问题取决于所谓的模式语言的包含关系，我们的技术考虑导致了对无终端E模式语言类的包含问题和拓扑的一些深入见解。

引用于3文件

MSC公司：

65年第68季度 形式语言和自动机

关键词：

模式语言;描述性模式

引文：

Zbl 0939.68690号
PDF格式BibTeX公司 XML格式引用
\textit{D.Freydenberger}和\textit{D.Reidenbach}，Theor。计算。科学。411，编号34-36，3274-3286（2010；Zbl 1195.68056）
全文： 内政部

参考文献：

[1] Angluin，D.，《寻找一组字符串的共同模式》，《计算机与系统科学杂志》，2146-62（1980）·兹比尔0454.68108
[2] Brazma，A。；乔纳森，I。；艾德玛，I。；Gilbert，D.，生物序列中模式的自动发现方法，计算生物学杂志，57279-305（1998）
[3] Dumitrescu，S。；佩恩，G。；Salomaa，A.，《与有限和无限模式集相关的语言》，Revue Roumaine de Mathématiques Pures et Appliques，41，607-625（1996）
[4] 埃伦菲赫特，A。；Rozenberg，G.，《发现两个单词之间的同态是NP-完全的》，《信息处理快报》，986-88（1979）·Zbl 0414.68022号
[5] 弗雷登伯格，D。；Reidenbach，D.，描述性模式的存在与不存在，（第13届语言理论发展国际会议论文集，DLT 2009）。程序。第十三届语言理论发展国际会议，DLT 2009，计算机科学讲稿，第5583卷（2009）），228-239·Zbl 1195.68055号
[6] 弗雷登伯格，D。；Reidenbach，D.，《关于模式、信息和计算的决策问题的坏消息》，208，83-96（2010）·Zbl 1189.68071号
[7] 姜涛（Jiang，T.）。；Kinber，E。；Salomaa，A。；萨洛马，K。；Yu，S.，有擦除和无擦除的模式语言，《国际计算机数学杂志》，50，147-163（1994）·Zbl 0939.68690号
[8] 姜涛（Jiang，T.）。；Salomaa，A。；萨洛马，K。；Yu，S.，模式的决策问题，《计算机与系统科学杂志》，50，53-63（1995）·Zbl 0827.68066号
[9] 卡里，L。；Rozenberg，G。；Salomaa，A.，L systems，（Rozenberg，G.；Salomaaa，A.，《形式语言手册》，第1卷（1997），Springer），253-328，（第5章）·Zbl 0866.68057号
[10] Mateescu，A。；Salomaa，A.，《模式》（Rozenberg，G.；Salomaaa，A.，形式语言手册，第1卷（1997），Springer），230-242，（第4.6章）·Zbl 0866.68057号
[11] Ng，Y。；Shinohara，T.，《从实证数据中探究模式语言可学习性的发展》，《理论计算机科学》，397150-165（2008）·Zbl 1145.68025号
[12] 赖登巴赫，D。；Schneider，J.，《形态原始词》，理论计算机科学，410，2148-2161（2009）·Zbl 1166.68036号
[13] Rozenberg，G。；Salomaa，A.，《形式语言手册》，第1卷（1997），Springer:Springer Berlin·Zbl 0866.68057号
[14] Salomaa，K.，Patterns，（Martin-Vide，C.；Mitrana，V.；Péun，G.，《形式语言和应用》，《模糊性和软计算研究》，第148卷（2004），Springer），367-379·Zbl 1089.68059号
[15] Shinohara，T.，《扩展正则模式语言的多项式时间推断》，（《RIMS软件科学与工程研讨会论文集》，京都·兹比尔0511.68050
[16] Wilf，H.，《生成功能学》（1994），学术出版社：纽约学术出版社·Zbl 0831.05001号
[17] K.Wright，1989年。从可识别类中提取的语言联合的标识，见：Proc。第二届计算学习理论年度研讨会，COLT 1989，第328-333页。；K.Wright，1989年。从可识别类中提取的语言联合的标识，见：Proc。计算学习理论第二届年度研讨会，COLT 1989，第328-333页·Zbl 0747.68061号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。