×
Jean-Michel，Autebert;菲利普·弗拉乔莱特;约阿金·加巴罗

无限单词和模糊无上下文语言的前缀。 （英语） Zbl 0653.68076号

信息处理。莱特。 25, 211-216 (1987).
摘要：对于由单词组成的语言，如果这些单词不能作为无限单词的前缀，则显示了两个“间隙”定理：这种语言永远无法用明确的无上下文语法来描述。

引用于12文件

MSC公司：

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

关键词：

间隙定理;歧义;无限单词;无上下文文法
PDF格式BibTeX公司 XML格式引用
\textit{J.-M.Autebert}等人，《信息处理》。莱特。25211-216（1987年；Zbl 0653.68076）
全文： 内政部 链接

参考文献：

[1] Allouche，J.-P。；科恩，H.，迪里克莱级数和好奇的无限乘积，布尔。伦敦。数学。《社会学杂志》，17531-538（1985）·Zbl 0577.10036号
[2] Autebert，J.-M。；Beauquier，J。；Boasson，L。；Latteux，M.，代数非有理语言的极小族，（Book，R.V.，形式语言理论（1980），学术出版社：纽约学术出版社），89-108
[3] Autebert，J.-M。；加巴罗（Gabarro，J.），《外行与模棱两可的投诉：Quelques示例》（Rept.de Recerca RR85/15（1985），巴塞罗那信息学院）
[4] Berstel，J.，《无carrés définis par morphismes》（Proc.ICALP’79）。程序。ICALP’79，计算机科学讲义，第71卷（1979），施普林格：施普林格柏林），16-22
[5] Berstel，J.，每个迭代态射都会产生一个co-CFL，Inform。过程。莱特。，22, 1, 7-9 (1986) ·Zbl 0584.68082号
[6] Carlson，F.，U ber Potensreihen mit ganzzahligen Koeffizienten，数学。泽切里夫，9，1-13（1921）
[7] 乔姆斯基，N。；Schutzenberger，M.-P.，《无上下文语言的代数理论》，（Braffort，P.；Hirschberg，D.，《计算机编程和形式系统》（1963），北荷兰：北荷兰阿姆斯特丹），118-161·Zbl 0148.00804号
[8] Dekking，M。；Mendes France，M。；范德波滕，A.，福尔兹！，数学智能器，4190-195（1982）·Zbl 0493.10003号
[9] 弗拉乔莱特，P.，《歧义与超越》（Proc.ICALP’85）。程序。ICALP’85，计算机科学讲义，第194卷（1985），施普林格：施普林格柏林），179-188·Zbl 0571.68058号
[10] 弗拉乔莱特，P.，Theoret。计算。科学。，49、2、3（1987），出炉·兹比尔0612.68069
[11] 弗拉乔莱特，P。；Martin，N.，概率计数算法和数据库应用，J.Compute。系统科学。，31, 182-209 (1985) ·兹伯利0583.68059
[12] Furstenberg，H.，有限域上的代数函数，J.代数，7271-277（1967）·Zbl 0175.03903号
[13] Grazon，A.，《语言小家族的贡献》（巴黎大学博士论文，7（1985））
[14] Harju，T。；Linna，M.，关于自由拟群中态射的周期性，定理。通知。&申请。，20, 47-54 (1986) ·Zbl 0608.68065号
[15] Lothaire，M.，《单词组合数学》（数学及其应用百科全书，第17卷（1983年），Addison-Wesley：Addison-Whesley Reading，MA），（集体笔名）·Zbl 1001.68093号
[16] Pansiot，J.-J.，无限单词周期性的判定，理论。通知。&申请。，20, 43-46 (1986) ·Zbl 0617.68063号
[17] Polya，G.，（Boas，R.-P.，《分析函数的量子点》，《分析功能的量子点集》，第1卷（1974年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）·Zbl 0319.01021号
[18] 莎乐玛，A。；Soittola，M.，形式幂级数的自动机理论方面（1978），Springer:Springer Berlin/纽约·Zbl 0377.68039号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。