×
伊贡博格尔;克劳斯·迪特·施韦

递归算法的行为理论。 （英语） Zbl 1497.68552号

芬丹。通知。 177，第1期，1-37页（2020年）.
摘要：“什么是算法？”是计算机科学的一个基本问题。Gurevich的序列算法行为理论（也称为序列ASM理论）通过公理化地定义（非确定性）序列算法给出了部分答案，而没有参考特定的机器模型或编程语言，并表明它们是捕获通过（非确定性）顺序抽象状态机（nd-seq ASM）。然而，递归算法，如合并排序正如Moschovakis所指出的那样，这一理论并未涵盖这些内容，他独立开发了一个不同的框架来从数学上描述（尤其是递归）算法的概念。在这篇文章中，我们对顺序递归算法它通过递归假设扩展了Gurevich关于序列算法的公理，并允许我们证明序列递归算法是由递归抽象状态机，通过CALL规则对nd-seq ASM进行扩展。应用这种递归ASM理论，可以将顺序递归算法描述为有限组合并发算法，所有并发运行都是部分顺序运行。

引用于2文件

MSC公司：

68周01 算法理论的一般主题
03D75号 抽象公理可计算性和递归理论

关键词：

递归算法;行为理论;抽象状态机;并行算法;部分订单运行

软件：

罗丹
PDF格式BibTeX公司 XML格式引用
\textit{E.Börger}和\textit{K.-D.Schewe}，Fundam。通知。177，编号1，1-37（2020；Zbl 1497.68552）
全文： DOI程序 arXiv公司

参考文献：

[1] B¨orger E.《可计算性、复杂性、逻辑》，《逻辑和数学基础研究》第128卷。北荷兰，1989年。ISBN-10:0444874062，13:978-0444874061。
[2] Gurevich Y.一篇新论文。摘要，美国数学学会，1985.6（4）：317。
[3] Gurevich Y.序列抽象状态机捕获序列算法。ACM事务处理。公司。逻辑，2000.1（1）：77-111。doi:10.1145/343369.343384·Zbl 1365.68258号
[4] B¨orger E，右前圣马克。抽象状态机。一种高层系统设计与分析方法。斯普林格，2003年。doi:10.1007/978-3642-18216-7·Zbl 1040.68042号
[5] Abrial JR.《Event-B中的建模——系统和软件工程》，剑桥大学出版社，2010年。ISBN-10:0521895561，13:978-0521895569·兹比尔1213.68214
[6] Abrial JR。B书——为程序赋予意义。剑桥大学出版社，1996年。ISBN0521496195、9780521496193·Zbl 0915.68015号
[7] Moschovakis YN公司。抽象递归是算法理论的基础。收录于：B¨orger E、Oberschelp W、Richter M、Schinzel B、WThomas（编辑），《计算与证明理论》，数学课堂笔记第1104卷，第289364页。斯普林格，1984年。ISBN-978-3-540-13901-0·Zbl 0599.03052号
[8] Moschovakis YN公司。关于算法理论的建立。摘自：Dales HG、Oliveri G（编辑），《数学中的真理》，第71-104页。克拉伦登出版社，1998年·兹伯利0924.03073
[9] Moschovakis YN公司。抽象递归和内在复杂性。剑桥大学出版社，2019年。逻辑课堂讲稿。ISBN-10:110841558X，13:978-1108415583·Zbl 1412.03004号
[10] Moschovakis YN公司。什么是算法？摘自：Engquist B，Schmid W（编辑），《数学无限-2001年及以后》，第919-936页。斯普林格，2001年。ISBN-978-3-642-56478-9·Zbl 1025.03037号
[11] Blass A，Gurevich Y.算法与机器。EATCS公报，2002.77:96-119。doi:10.1142/9789812562494 0048。
[12] Gurevich Y.进化代数1993：Lipari指南。参见：EB¨orger（编辑），规范和验证方法，第9-36页。牛津大学出版社，1995年·Zbl 0852.68053号
[13] Gurevich Y，Spielmann M.递归抽象状态机。加州大学学报，1997.3（4）：233-246。doi:10.3217/jucs-003-04-0233·兹伯利0960.68091
[14] B¨orger E，Bolognesi T.关于函数方程和递归格式的Turbo ASM的备注。收录于：B¨orger E等人（编辑），《抽象状态机，理论与实践进展》，第十届国际研讨会（ASM 2003），计算机科学讲稿第2589卷。斯普林格，2003年，第218-228页。doi:10.1007/3-540-36498-6 12·Zbl 1021.68035号
[15] 瓦迪MY。什么是算法？Commun公司。ACM，2012.55（3）：5。doi:10.1145/2093548.2093549。
[16] B¨orger E，Schewe KD公司。并发抽象状态机。信息学报，2016.53（5）：469-492。doi:10.1007/s00236-015-0249-7·Zbl 1352.68176号
[17] Lamport L.如何制作正确执行多进程程序的多处理器计算机。IEEE传输。计算机，1979.28（9）：690-691。doi:10.1109/TC.1979.1675439·兹伯利0419.68045
[18] B¨orger E，Schewe KD公司。具有部分顺序运行的分布式ASM的特征。收录于：Raschke A、Mery D、Houdek F（编辑），《基于严格状态的方法》（Proc.ABZ 2020），LNCS第12071卷。施普林格，2020年，第79-92页。doi:10.1007/978-3-030-48077-66·Zbl 1497.68174号
[19] Mayr R.过程重写系统。信息与计算，1999.156:264-286。doi:10.1006/inco.1999.2826·Zbl 1046.68566号
[20] B¨orger E，Raschke A.软件从业者建模指南。施普林格，2018年。doi:10.1007/9783-662-56641-1。
[21] Ferrarotti F、Schewe KD、Tec L、Wang Q.关于同步并行计算的新论文——简化并行ASM论文。理论。公司。科学。，2016.649:25-53. doi:10.1016/j.tcs.2016.08.013·Zbl 1355.68087号
[22] B¨orger E，Schewe KD公司。抽象状态机中的通信。J.大学Comp。科学。，2017.23（2）：129-145。doi:10.3217/jucs-023-02-0129。
[23] Blass A，Gurevich Y.抽象状态机捕获并行算法。ACM事务处理。计算逻辑，2003.4（4）：578-651。doi:10.1145/93755.937561·Zbl 1365.68253号
[24] Blass A，Gurevich Y。抽象状态机捕获并行算法：修正和扩展。ACM事务处理。公司。逻辑，2008.9（3）。doi:10.1145/1352582.1352587·Zbl 1367.68097号
[25] Schewe KD，Wang Q.数据库转换的定制ASM论文。《控制论学报》，2010年。19(4):765-805. ·Zbl 1224.68029号
[26] Schewe KD，Wang Q.一篇简化的平行ASM论文。在：Derrick J等人（编辑），抽象状态机，合金，B，VDM和Z（ABZ 2012），第7316卷。施普林格，2012年，第341-344页。doi:10.1007/978-3-642-30885-7 27。
[27] Dershowitz N，Falkovich-Derzhavetz E.关于并行计算论文。IGPL逻辑杂志，2016.24（3）：346-374。doi:10.1093/jigpal/jzw008·Zbl 1407.68186号
[28] Lynch N.分布式算法。Morgan Kaufmann，1996年。ISBN-10:9781558603486，13:97815508603486·Zbl 0877.68061号
[29] Agha G.分布式系统中的并发计算模型。麻省理工学院出版社，剑桥，马萨诸塞州，1986年。
[30] Bergstra J，Ponse A，Smolka S.过程代数手册。Elsevierl，2001年。ISBN-978-0-444-82830-9·Zbl 0971.00006号
[31] 顺序和并行程序的最佳E.语义。普伦蒂斯·霍尔，1996年。ISBN-978-0-13-460643-9·Zbl 0860.68065号
[32] Genrich HJ，Lautenbach K.用高级Petri网进行系统建模。理论计算机科学，1981.13（1）：109-136。doi:10.1016/0304-3975（81）90113-4·Zbl 0454.68052号
[33] Mazurkiewicz A.痕迹理论。LNCS第255卷。施普林格，1987年，第279-324页。doi:10.1007/3-54017906-230。
[34] Schewe KD、Ferrarotti F、Tec L、Wang Q、An W.进化并发系统-行为理论和逻辑。收录：澳大利亚计算机科学周多人会议记录（ACSW 2017）。ACM，2017年，第77:1-77:10页。doi:10.1145/3014812.3017446。
[35] Ferrarotti F、Gonz´alez S、Schewe KD。BSP抽象状态机捕获批量同步并行计算。科学。计算。程序。，2019.184. doi:10.1016/j.scico.2019.102319。
[36] Schewe KD，Ferrarotti F.反射算法的行为理论I：反射序列算法，2018年。已提交出版，可用网址：http://arxiv.org/abs/2001.01873。
[37] Ferrarotti F、Schewe KD、Tec L。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。