×
阿希姆·布卢门萨特;戴维·杰宁

双根树语言的句法同余。 （英语） Zbl 1333.68185号

半群论坛 91，第3期，675-698（2015）。
摘要：我们为重叠基于半群理论的对象。为了做到这一点，我们开发了一个（标记的）双根树的语言理论，即自由逆monoid的（扩展）子集。在部分代数的基础设置中，我们定义了一个合适的句法同余概念，这样（i）具有有限索引的句法同余性可以捕获MSO可定义性；（ii）对句法同余进行某种顺序模拟细化，以同样的方式捕获（所谓的）准可识别性。

引用于1文件

MSC公司：

70年第68季度 语言代数理论与自动机
20立方米 自动机理论、语言学等中的半群。
PDF格式BibTeX公司 XML格式引用
\textit{A.Blumensath}和\textit{D.Janin}，半群论坛91，第3期，675--698（2015；Zbl 1333.68185）
全文： 内政部 哈尔

参考文献：

[1] Berthaut，F.，Janin，D.，Martin，B.：音频或符号音乐模式的高级同步：代数方法。国际期刊Semant。计算。6(4), 409-427 (2012) ·Zbl 1284.00055号 ·doi:10.1142/S1793351X12400132
[2] Bojañczyk，M.，Walukiewicz，I.：森林代数。摘自：《逻辑与自动化》，第107-132页。阿姆斯特丹大学出版社（2008）·Zbl 1217.68123号
[3] Burmeister，P.：面向模型理论的部分代数方法。Akademie，柏林（1986）·Zbl 0598.08004号
[4] Cornock，C.，Gould，V.：真双边限制半群和部分作用。J.纯应用。《代数》216935-949（2012）·Zbl 1258.20047号 ·doi:10.1016/j.jpaa.2011.10.015
[5] Courcelle，B.，Weil，P.：图集的可识别性是一个稳健的属性。西奥。计算。科学。342, 173-228 (2005) ·Zbl 1077.68070号 ·doi:10.1016/j.tcs.2005.03.018
[6] Danos，V.，Regnier，L.：可逆、不可逆和最佳λ机器。西奥。计算。科学。227(1-2), 79-97 (1999) ·Zbl 0952.03008号 ·doi:10.1016/S0304-3975（99）00049-3
[7] Dicky，A.，Janin，D.：哲学餐厅的现代化。《系统自动化模型》（MSR），载于《欧洲自动化系统杂志》（JESA第47卷，第1-2-3/2013号）（2013年）·Zbl 1082.06003号
[8] Ésik，Z.，Weil，P.：关于逻辑定义的可识别树语言。在Found中。软。tech和Theor。公司。《科学》（FSTTCS），第195-207页（2003年）·Zbl 1196.68149号
[9] Gould，V.，Hollings，C.：归纳星座的作用和部分作用。塞米格。论坛82（1），35-60（2011）·Zbl 1222.20045号 ·doi:10.1007/s00233-010-9279-1
[10] Hollings，C.D.：从右PP幺半群到限制半群：一项调查。Eur.J.纯应用。数学。2(1), 21-57 (2009) ·兹比尔1214.2056
[11] Janin，D.：将结构和节奏结合起来，简化了音乐。《法语信息音乐评论》（RFIM），第2期（2012年）·Zbl 1222.20045号
[12] Janin，D.：标记双根树语言的代数、自动机和逻辑。收录于：《Aut.，Lang.and Programming》（ICALP）国际专栏，LNCS第7966卷，第318-329页。柏林施普林格出版社（2013）·Zbl 1335.68157号
[13] Janin，D.：关于一维重叠瓷砖的语言。国际学术会议关于提奥当前趋势的讨论。和Prac。公司的。《科学》（SOFSEM），LNCS第7741卷，第244-256页。柏林施普林格出版社（2013）·Zbl 1303.68078号
[14] Janin，D.：叠瓦自动机。参见：第八届俄罗斯国际计算机科学研讨会（CSR），LNCS第7913卷，第431-443页。柏林施普林格出版社（2013）·Zbl 1381.68118号
[15] Janin，D.：自由逆幺半群中的行走自动机。研究报告RR-1464-12，LaBRI，波尔多大学（2013）
[16] Janin，D.：迈向计算机系统建模的高维弦理论（特邀演讲）。收录：关于提奥当前趋势的国际会议。和Prac。公司的。《科学》（SOFSEM），LNCS第8327卷，第7-20页。柏林施普林格出版社（2014）·Zbl 1432.68033号
[17] Janin，D.，Berthaut，F.，DeSainteCatherine，M.：交互式音乐系统的多尺度设计：libTuiles实验。In:声音和音乐计算（SMC）（2013）·Zbl 0867.68074号
[18] Jongh，D.，Troelstra，A.：关于偏序集与一些伪布尔代数的联系。印度。数学。28, 317-329 (1966) ·Zbl 0137.02203号 ·doi:10.1016/S1385-7258（66）50036-1
[19] Kellendonk，J.：瓷砖的局部结构及其货币变体的整数组。Commun公司。数学。物理学。187, 115-157 (1997) ·兹宝利0887.52013 ·doi:10.1007/s002200050131
[20] Kellendonk，J.，Lawson，M.V.：平铺半群。《代数杂志》224（1），140-150（2000）·Zbl 0971.20045号 ·doi:10.1006/jabr.1999.8120
[21] Körtesi，P.，Radeleczki，S.，Szilágyi，S.：部分有序集上的同余和同位素映射。数学。潘农。16(1), 39-55 (2005) ·Zbl 1082.06003号
[22] Lawson，M.V.：逆半群：部分对称理论。《世界科学》，新加坡（1998年）·Zbl 1079.20505号 ·doi:10.1142/3645
[23] Lawson，M.V.：McAlister半群。《代数杂志》202（1），276-294（1998）·Zbl 2005年7月9日 ·doi:10.1006/jabr.1997.7301
[24] Margolis，S.W.，Pin，J.-E.：语言和逆半群。收录于：《Aut.，Lang.and Programming》（ICALP）国际专栏，LNCS第172卷，第337-346页。柏林施普林格（1984）·兹伯利0566.68061
[25] McAlister，D.B.：在子半群上分离的逆半群。事务处理。数学。Soc.182，85-117（1973）·兹伯利0273.20046 ·doi:10.1090/S0002-9947-1973-0327952-0
[26] 谢拉：一元秩序理论。安。数学。102, 379-419 (1975) ·Zbl 0345.02034号 ·doi:10.2307/1971037
[27] Silva，P.V.：关于自由逆幺半群语言。ITA 30（4），349-378（1996）·Zbl 0867.68074号
[28] Stephen，J.B.：逆幺半群的表示。J.纯应用。代数63，81-112（1990）·Zbl 0691.20044号 ·doi:10.1016/0022-4049（90）90057-O
[29] 托马斯，W.：第7章。语言、自动机和逻辑。见：《形式语言手册》，第三卷，第389-455页。柏林施普林格（1997）·Zbl 0691.20044号
[30] 托马斯·W·：伊伦福切特游戏、构词方法和序数词的一元理论。收录于：逻辑与计算机科学结构，LNCS第1261卷，第118-143页。柏林施普林格（1997）·Zbl 0888.0302号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。