×
科特克，T。;Makowsky，J.A。

（q）-）完整序列的一个表示定理。 （英语） Zbl 1295.68147号

J.计算。系统。科学。 80，第2期，363-374（2014）.
作者对两类序列感兴趣：完整序列，即满足多项式系数线性递归关系的序列，以及它们的（q）-类似物，称为（q）完整序列。更准确地说，他们的目的是推广著名的Chomsky-Schützenberger定理，该定理意味着每个满足常系数线性递归关系的序列都可以作为正则语言两个计数函数的差。
作者给出了完整序列和（q）-完整序列的表示定理。此外，他们给出了完整序列的一个表示定理，该完整序列不使用正则语言，而是使用稀疏正则语言。
审核人：Jean-Paul Allouche（巴黎）

MSC公司：

65年第68季度 形式语言和自动机
05年3月 与逻辑问题相关的自动机和形式文法
2015年1月5日 精确枚举问题，生成函数
11B75号 其他组合数论
11B83号 特殊序列和多项式

关键词：

完整序列;\（q\）-完整序列;单词的位置权重;常规语言;稀疏正则语言;一元二阶逻辑

软件：

JODO公司;GJSAW公司;毛毯;SYMGJ公司;GJ系列;SPGJ公司;戴维_安;PSI-爆炸;爆炸;NAIVE公司;GJ平方英尺
PDF格式BibTeX公司 XML格式引用
\textit{T.Kotek}和\textit{J.A.Makowsky}，J.Compute。系统。科学。80，No.2，363--374（2014；Zbl 1295.68147）
全文： DOI程序

参考文献：

[1] Altschul，S.F。；Madden，T.L。；Schaffer，A.A。；张杰。；张，Z。；Miller，W。；Lipman，D.J.，《Gapped blast和psi-blast:新一代蛋白质数据库搜索程序》，《核酸研究》，第25期，第3389-3402页（1997年）
[2] Borgs，C。；Chayes，J。；Lovász，L。；SóS，V.T.等人。；Vesztergombi，K.，《计数图同态》，（Klazar，M.；Kratochvil，J.；Loebl，M.、Matousek，J.、Thomas，R.；Valtr，P.，《离散数学专题》（2006），斯普林格），第315-371页·邮编1129.05050
[3] Bergeron，F.，代数组合数学和共变空间，CMS数学论文。（2009），加拿大数学学会·Zbl 1185.05002号
[4] Birkhoff，G.D.，《不规则差分方程通论》，《数学学报》。，54, 205-246 (1930)
[5] 布拉特，C。；Specker，E.，Le nombre de structures finies d’une theorieácharactère fin，41-44（1981），科学数学，国家科学基金会：科学数学，布鲁塞尔科学基金会
[6] Birkhoff，G.D。；Trjitzinsky，W.J.，奇异差分方程分析理论，数学学报。，60, 1-89 (1933)
[7] Chen，William Y.C。；Rota，Gian-Carlo，q-限制位置的包含排除原理和置换的模拟，离散数学。，104, 1 (1992) ·Zbl 0806.05010号
[8] 乔姆斯基，N。；Schützenberger，M.P.，《上下文无关语言的代数理论》，（Brafford，P.；Hirschberg，D.，《计算机编程和形式系统》（1963），北荷兰语），118-161·Zbl 0148.00804号
[9] 亚历山德罗，弗拉维奥；Benedetto的Intragila；Varricchio，Stefano，关于稀疏无上下文语言计数函数的结构，Theoret。计算。科学。，356, 1-2, 104-117 (2006) ·Zbl 1160.68407号
[10] 艾宾浩斯，H.D。；Flum，J.，有限模型理论，展望。数学。日志。（1995），斯普林格·Zbl 0841.03014号
[11] 艾宾浩斯，H.D。；弗鲁姆，J。；托马斯，W.，数学逻辑，本科生。数学课文。（1994），斯普林格·弗拉格·Zbl 0795.03001号
[12] 珠穆朗玛峰，G。；van Porten，A。；斯帕林斯基，I。；Ward，T.，递归序列，数学。调查单体。，第104卷（2003），美国数学学会·Zbl 1033.11006号
[13] 弗拉乔莱特，P。；Gerhold，S。；Salvy，B.，关于对数、幂和第n素函数的非完整性，电子。《联合杂志》，11，1-16（2005）·兹比尔1076.05004
[14] 弗拉乔莱特，P。；Sedgewick，R.，分析组合数学（2009），剑桥大学出版社·Zbl 1165.05001号
[15] Gerhold，S.，关于一些非完整序列，电子。J.Combina.，11，1-7（2004）·Zbl 1063.11007号
[16] Pawel，Gawrychowski；达利亚·克里格；Narad Rampersad；Shallit，Jeffrey，《寻找多项式时间内无上下文语言规则的增长率》，（《语言理论的发展》，《语言理论发展》，计算机科学讲义，第5257卷（2008年），施普林格：施普林格柏林），339-358·Zbl 1161.68528号
[17] Kotek，T。；Makowsky，J.A.，基于计数格路径的完整序列表示定理，基金会。通知。，117, 1-4, 199-213 (2012) ·Zbl 1245.68151号
[18] Koornwinder，Tom H.，《关于Zeilberger算法及其模拟》，J.Compute。申请。数学。，48, 91-111 (1993) ·Zbl 0797.65011号
[19] Libkin，L.，《有限模型理论的要素》（2004），Springer·Zbl 1060.03002号
[20] Noonan，J。；Zeilberger，D.，《Goulden-Jackson集群方法：扩展、应用和实现》，J.Difference Equ。申请。，5, 4-5, 355-377 (1999) ·Zbl 0935.05003号
[21] Petkovsek，M。；Wilf，H。；Zeilberger，D.，（A=B（1996）），A K Peters·Zbl 0848.05002号
[22] Shiu，D.K.L.，同余素数串，J.伦敦数学。《社会学杂志》，61，359-373（2000）·兹伯利0973.11083
[23] Specker，E.，《逻辑和组合学在枚举问题中的应用》（Börger，E.，理论计算机科学趋势（1988），计算机科学出版社）。（Selecta（1990），Birkhäuser），324-350，再版于：恩斯特·斯佩克
[24] Salomaa，A。；Soittola，M.，形式幂级数的自动机理论方面，文本专题。计算。科学。（1978），施普林格·Zbl 0377.68039号
[25] 斯托莫，G.D。；施耐德，T.D。；金，L。；Ehrenfeucht，A.，使用“感知器”算法区分大肠杆菌中的翻译起始位点，核酸研究，102997-3012（1982）
[26] Stanley，R.P.，《可微有限幂级数》，《欧洲联合杂志》，第1175-188页（1980）·Zbl 0445.05012号
[27] 特罗菲莫夫，V.I.，某些语言类的增长函数，控制论，6，9-12（1981）·Zbl 0512.68054号
[28] Wilf，H.S。；Zeilberger，D.，超几何（普通和“q”）多和/积分恒等式的算法证明理论，发明。数学。，108, 557-633 (1992) ·Zbl 0739.05007号
[29] Zeilberger，D.，《特殊函数恒等式的完整系统方法》，J.Compute。申请。数学。，32, 321-368 (1990) ·兹比尔0738.33001
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。