{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,10]]，“日期-时间”：“2024-06-10T00:40:14Z”，“时间戳”：1717980014457}，“参考-计数”：24，“出版商”：“剑桥大学出版社（CUP我“：”2015-07-15T00:00:00Z“，”时间戳“：1436918400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,6]}”，“abstract”：“”我们提出了一种基于艾伦伯格机器的关系计算范式，它是艾伦伯格X机器的有效版本，适用于一般非确定性计算。Eilenberg机器将有限状态自动机概括为其控制组件，计算组件位于指定为关系代数的数据域上，其操作被解释为数据域上的二进制关系。我们使用反应式引擎<\/jats:italic>。在特定情况下有限机器<\/jats:italic>，我们证明了自底向上搜索产生了一个有效的完整模拟器<\/jats:p>关系机器可以以模块化的方式组成，因为一台机器的原子操作可以映射到作为其参数的其他关系机器的特征关系<\/jats:p>机器的控制组件可以从正则表达式中编译。文献中提出了几个这样的翻译，我们对其进行了简要概述<\/jats:p>“，”DOI“：”10.1017\/s09960129515000390“，”type“：”期刊文章“，”created“的“的“的的G\u00c9RARD“，”family”：“HUET”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“BENO\u00ceT”，“family”：“RAZET”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“56”，“在线发布”：｛“date parts”：[[2015,7,15]]｝，“reference”：[｛“key”：“S0960129515000390_ref18”，“doi asserted by”：“crossref”，“first page”：“78”，“doi”：“10.7551\/mitpress\/4286.003.0007“，”卷标题“：”逻辑和信息流”，“作者”：“Kozen”，“年份”：“1994”}，{“key”：“S096019515000390_ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0890-5401（03）00090-7”}、{“key”：”S0960129515000390_ref6“，”doi-assert-by“：”publisher由“：”publisher“，”doi“：”提供10.1142\/S0218196706002895“}，{“key”：“S0960129515000390_ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1994.1037”}，}“key”：“SO960129515000390 _ref23”，“doi-asserted-by”:“publishers”，“DI:”10.1016\/j.entcs.2011.02.019“}”，{“doi”：“10.1145\/365230.365257”}，{“密钥”：“S0960129515000390_ref11“，”doi-asserted-by“：”crossref“，”unstructured“：”Fischer S.，Huch F.和Wilke T.（2010）。关于正则表达式的戏剧：函数珍珠。摘自：第十五届ACM SIGPLAN函数编程国际会议论文集，ICFP'10，美国纽约357\u201336810.1142\/S0218196701000772“}，{“key”：“S0960129515000390_ref10”，“volume-title”：“Automata，Languages，and Machines”，“author”：“Eilenberg”，“year”：“1974”}，“key“：”S096012900510390_ref14“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S0956796804005416 f6hm C.（1966年）CUCH作为一种正式的和描述语言。摘自：Steel T.B.（编辑）《计算机程序设计的形式描述语言》，北荷兰179\u2013197。960129515000390_ref24“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/363347.363387“}，{“key”：“S096019515000390_ref5”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0304-3975（93）90287-4”}，“key“：”S0960129515000390_ref15“，”doi-asserted-by“f2 0“，”首页“：”97“，”卷-标题“：”《欧洲人工智能逻辑研讨会论文集》（JELIA’90），“作者”：“Pratt”，“年份”：“1991”}，{“key”：“S0960129515000390_ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11821069_10”}f3“，”doi-asserted-by“：”publisher“，”DOI“：”10.1016\/0304-3975（86）90088-5“}，{“key”：“S096019515000390_ref13”，“unstructured”：“Huet G.（2002）。禅宗计算语言学工具包：使用模块化函数编程语言进行词汇结构和形态计算。见：2002年LEC语言工程会议教程。”Razet B.（2009）。《艾伦伯格效应机器》，丹尼斯·迪德罗大学博士论文（巴黎7）。“}]，”container-title“：[”Mathematical Structures in Computer Science“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000390“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”“相似性检查”}]，“存放”：{“date-parts“：[[2024,6,10]]，“date-time”：“2024-06-10T00:11:33Z”，“timestamp”：1717978293000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S090129515000390\/type\/journal_article”}}，”substitle“：[]，”shortitle“：[]，”issued“date-part”：[[2015,7,15]]}，“references-count”：24，“journal-issue”：{“issue”：“5”，“published-print“：{“date-parts”：[[2017,6]]}}，“alternative-id”：[“S09601295500390”]，“URL”：“http://\/dx.doi.org\/101017\/s096012951500390”，“relationship”：{}，”ISSN“：[“0960-1295”，“1469-8072”]，”ISSN-type“：[{”value“：”0960-1299“，”type“:”print“}，{”value“：“1469-9072”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2015,7,15]]}}