×
M.M.易卜拉希米。;Kh.Keshvardoost。;马哈茂迪，M。

简单且次直不可约的有限支持\（Cb\）-集。 （英语） Zbl 1380.68122号

西奥。计算。科学。 706, 1-21 (2018).
摘要：名称替换的幺半群（Cb）起源于Pitts的名称抽象，有限支持集的概念是Gabbay和Pitts著作中编程语言语义的一个重要模型。
本文的目的是研究和刻画简单的、次直不可约的和不可分解的有限支持集。为了研究和发现它们的关系，我们引入了固定简单集的概念，并对它们进行了完整的描述。除此之外，我们还证明了在某些支撑条件下，固定-简单有限支撑集正是同余格是二元或三元链的集。此外，还证明了无限有限支持集是简单的当且仅当它是一个特殊的fix-simple集。此外，我们还观察到，如果有足够多的元素具有有限支撑，那么一个简单或次直不可约无限（Cb）-集的所有元素都是有限支撑的。

引用于1文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
第68季度55 计算理论中的语义学

关键词：

\（Cb\）-集;支持;简单的;次直不可约;不可分解的

软件：

新鲜OCaml;名义伊莎贝尔
PDF格式BibTeX公司 XML格式引用
\textit{M.M.易卜拉希米}等人，Theor。计算。科学。706，1-21（2018年；兹比尔1380.68122）
全文： 内政部

参考文献：

[1] Abramsky，S。；Ghica，D.R。；Luke Ong，C.H。；Murawski，A.S。；斯塔克，I.D.B.，《数值的名义游戏和完全抽象》（第19届计算机科学逻辑研讨会（2004）），150-159
[2] 阿达梅克，J。；Herrlich，H。；Strecker，G.E.，《抽象和具体类别》（1990），John Wiley and Sons，Inc·Zbl 0695.18001号
[3] Bojanczyk，M.，名义幺半群，理论计算。系统。，53194-222（2013年）·Zbl 1295.68163号
[4] 博扬奇克，M。；Braud，L。；Klin，B。；Lasota，S.，走向名义计算（第39届程序设计语言原理研讨会（2012）），401-412·Zbl 1321.68139号
[5] 博扬奇克，M。；Klin，B。；Lasota，S.，标称集中的自动机理论，Log。方法计算。科学。，10, 3, 1-44 (2014) ·Zbl 1338.68140号
[6] Burris，S。；Sankappanavar，H.P.，《通用代数课程》（1981年），斯普林格·弗拉格·Zbl 0478.08001号
[7] 易卜拉希米，M.M。；哈达迪，M。；Mahmoudi，M.，《类别中的注入性：小规模条件概述》，Categ。阿尔及利亚将军。结构。申请。，2, 83-112 (2014) ·兹比尔1371.08007
[8] 易卜拉希米，M.M。；Mahmoudi，M.，《（M）集的范畴》，意大利语。J.纯应用。数学。，9, 123-132 (2001) ·Zbl 1008.18004号
[9] 易卜拉希米，M.M。；马哈茂迪，M。；Yavari，M.，直接完备偏序集上自动机的绝对收缩性，J.代数应用。，第16、1条，第1750008页（2017年），共21页·兹比尔1401.06017
[10] 加巴伊，M。；Mathijssen，A.，一阶半阶逻辑，J.逻辑计算。，18, 521-562 (2008) ·Zbl 1158.03006号
[11] 加巴伊，M。；Pitts，A.，《使用变量绑定实现抽象语法的新方法》，Form.Asp。计算。，13, 3-5, 341-363 (2002) ·Zbl 1001.68083号
[12] 科朱霍夫，I.B。；Haliulina，A.R.，《次直接不可约行为的表征》，Prikl。磁盘。材料，1，5-16（2015）·Zbl 07310281号
[13] 基尔普（Kilp，M.）。；克瑙尔，美国。；米哈列夫（Mikhalev，A.），《Monoids，Acts and Categories》（2000年），沃尔特·德格鲁伊特（Walter de Gruyter）：沃尔特·德格鲁伊特柏林，纽约·Zbl 0945.20036号
[14] Petrisan，D.，《标称集上的代数和拓扑研究》（2011年），莱斯特大学博士论文
[15] Pitts，A.，《名义逻辑，名称和约束的一阶理论》，Inform。和计算。，186, 165-193 (2003) ·Zbl 1056.03014号
[16] Pitts，A.，《计算机科学中的名词集、名称和对称性》（2013），剑桥大学出版社·Zbl 1297.68008号
[17] Pitts，A.，类型理论立方集模型的标称表示，LIPIcs。莱布尼茨国际程序。通知。，202-220 (2015) ·Zbl 1434.03044号
[18] Shinwell，M.R.，The Fresh Approach:Functional Programming with Names and Binders（2005），剑桥大学计算机实验室，博士论文
[19] Shinwell，M.R。；Pitts，A.，《Fresh Objective Caml用户手册》（2005），剑桥大学，技术报告UCAM-CL-TR-621
[20] 特纳，D。；Winskel，G.，并发的名义域理论，计算讲义。科学。，751, 546-560 (2009) ·Zbl 1257.68110号
[21] Urban，C.，isabelle/HOL中的标称技术，J.Automat。原因。，40, 327-356 (2008) ·兹比尔1140.68061
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。