×
J.萨拉曼卡。;Ballester-Bolinches，A。;M.M.邦桑格。;Cosme-Llópez，E。;J.J.M.M.鲁顿。

自动机和等式的正则变体。 （英语） Zbl 1432.68270号

Hinze，Ralf（编辑）等人，《程序构造的数学》。2015年6月29日至7月1日，第12届国际会议，MPC 2015，德国科尼格斯温特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9129, 224-237 (2015).
摘要：本文使用Ballester-Bolinches、Cosme-Llópez和Rutten证明的自动机方程和协方程之间的对偶结果来刻画在乘积、子自动机、同态映象和和下闭合的非空的确定自动机类。一个特征是由正则方程定义的自动机类，第二个特征是满足等式集的自动机类别，称为语言变体。我们展示了我们的结果如何与正则簇的Birkhoff定理相关。
关于整个系列，请参见[Zbl 1312.68008号].

引用于1文件

MSC公司：

70年第68季度 语言代数理论与自动机
08B05号 等式逻辑，Mal'tsev条件
PDF格式BibTeX公司 XML格式引用
\textit{J.Salamanca}等人，Lect。注释计算。科学。9129，224--237（2015；Zbl 1432.68270）
全文： 内政部 链接

参考文献：

[1] Abel，A.，Pientka，B.，Thibodeau，D.，Setzer，A.：Copatterns：通过观测对无限结构进行编程。摘自：Giacobazzi，R.，Cousot，R.（eds.）《第40届ACM编程语言原理研讨会论文集》（POPL’13），第27-38页，ACM（2013）·Zbl 1301.68080号
[2] Adámek，J。；米利厄斯，S。；迈尔斯，RSR；Urbat，H。；Muscholl，A.，《广义艾伦伯格定理一：语言的局部变体》，《软件科学和计算结构基础》，366-380（2014），海德堡：斯普林格·Zbl 1407.68314号 ·doi:10.1007/978-3-642-54830-7_24
[3] 阿沃迪，S。；Hughes，J.，模态算子和Birkhoff完备性定理的形式对偶，数学。结构。计算。科学。，13, 2, 233-258 (2003) ·Zbl 1040.18001号 ·doi:10.1017/S0960129502003894
[4] Ballester-Bolinches，A.，Cosme-Llópez，E.，Rutten，J.J.M.M.：自动机方程和系数方程的对偶等价。CWI技术报告FM-1403，第1-30页（2014）·Zbl 1333.68184号
[5] Birkhoff，G.，《关于抽象代数的结构》，Proc Camb。菲洛斯。《社会学杂志》，第31期，第433-454页（1935年）·Zbl 0013.00105号 ·doi:10.1017/S0305004100013463
[6] Bonchi，F。；Bonsangue，M。；Hansen，H。；帕南加登，P。；Rutten，J。；Silva，A.，Brzozowski最小化算法中的代数-代数对偶，ACM Trans。计算。逻辑，15，1，1-27（2014）·Zbl 1288.68174号 ·数字对象标识代码：10.1145/2490818
[7] 伯里斯，SN；Sankappanavar，HP，通用代数课程，数学研究生教材（1981），纽约：Springer，纽约·兹伯利0478.08001
[8] 克鲁斯顿，R。；戈德布拉特，R。；Van Hung，D。；Wirsing，M.，余代数的余变数：余代数和余方程，计算的理论方面-ICTAC 2005，288-302（2005），海德堡：斯普林格，海德伯格·兹比尔1169.68526 ·doi:10.1007/11560647_19
[9] Gehrke，M。；格里戈里夫，S。；销，Jé；丙酮，L。；达姆加德，I。；洛杉矶Goldberg；Halldórsson，MM；Ingólfsdóttir，A。；Walukiewicz，I.，正则语言的对偶和等式理论，自动机，语言和程序设计，246-257（2008），海德堡：施普林格，海德堡·Zbl 1165.68049号 ·doi:10.1007/978-3-540-70583-3_21
[10] Graczyñska，E.，Birkhoff关于正则变种的定理，Bull。第节。逻辑，大学，26，4，210-219（1997）·Zbl 0902.08012
[11] Płonka，J.，关于抽象代数的构造方法，基金会。数学。，61, 183-189 (1967) ·Zbl 0168.26701号 ·doi:10.4064/fm-61-2-183-189
[12] Rutten，JJMM，《宇宙余代数：系统理论》，Theor。计算。科学。，249, 1, 3-80 (2000) ·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[13] 泰勒，W.，等式逻辑，休斯顿J.数学。，5, 1-83 (1979) ·Zbl 0421.08004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。