Brian Courtehoute先生;丰满，细节 完整图形计算模型的时间和空间度量。 （英语） Zbl 07806732号 Heckel，Reiko（编辑）等人，《第十三届图形计算模型国际研讨会论文集》，GCM，法国南特，2022年7月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）374，23-44（2022）。 摘要：我们提出了一个基于GP 2图形程序子类的计算模型，它可以在空间（mathrm{O}（s（n））中模拟任何具有空间复杂性的离线图灵机。模拟只需要二次时间开销。我们的模型与Schönhage的存储修改机器和Kolmogorov-Uspenskii机器具有相同的特性[17]。这些机器使用低级指针指令，而我们基于GP2的模型使用基于模式的转换规则和高级控制结构。关于整个系列，请参见[Zbl 1522.68033号]. MSC公司： 68年XX月 计算机科学 90倍X 运筹学、数学规划 软件：github;第2组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courtehoute}和\textit{D.Plump}，电子。程序。西奥。计算。科学。（EPTCS）374，23--44（2022；Zbl 07806732） 全文： arXiv公司 链接 参考文献： [1] GP 2规则匹配代码。https://github.com/UoYCS-plasa/GP2/blob/master/src/genRule.c。访问时间：2022-08-08。 [2] Alfred Aho、John Hopcroft和Jeffrey Ullman（1974）：计算机算法的设计与分析。艾迪森·韦斯利·Zbl 0326.68005号 [3] Christopher Bak（2015）：GP 2：图形编程语言的高效实现。英国约克大学计算机科学系博士论文。网址：https://etheses.whiterose。ac.uk/12586/。 [4] Christopher Bak和Detlef Plump（2012）：根图形程序。In：程序。第七届基于图形的工具国际研讨会（GraBaTs 2012），EASST 54的电子通信，doi:10.14279/tuj.eceasst.54.780·doi:10.14279/tuj.eceasst.54.780 [5] Christopher Bak和Detlef Plump（2016）：为C.In编译图形程序：Proc。图变换的国际共识（ICGT 2016），《计算机科学讲义9761》，Springer，第102-117页，doi:10.1007/978-3-319-40530-8_7·Zbl 1339.68007号 ·数字对象标识代码：10.1007/978-3-319-40530-87 [6] Graham Campbell，Brian Courtehoute&Detlef Plump（2022）：快速基于规则的图形程序。《计算机编程科学》214，doi:10.1016/j.scico.2021.02727。32页。 ·doi:10.1016/j.scico.2021.102727 [7] Brian Courtehoute&Detlef Plump（2021）：GP 2的小步操作语义。图形计算模型（GCM 2021）214，第89-110页，doi:10.4204/EPTCS.350.6·doi:10.4204/EPTCS.350.6 [8] Edsger W Dijkstra（1968）：致编辑的信：转到被认为有害的声明。ACM通讯11（3），第147-148页，doi:10.1145/362929.362947·数字对象标识代码：10.1145/362929.362947 [9] Joseph Y.Halpern、Michael C.Loui、Albert R.Meyer和Daniel Weise（1986）：《关于时间与空间的对比III》。数学系统理论19，第13-28页，doi:10.1007/BF01704903·Zbl 0606.68043号 ·doi:10.1007/BF01704903 [10] Ivaylo Hristakiev和Detlef Plump（2016）：通过规则模式的属性图变换：Church-Roser定理。摘自：软件技术：应用和基础-STAF 2016联合研讨会，修订论文集，计算机科学讲座笔记9946，Springer，第145-160页，doi:10.1007/978-3-319-50230-4_11·doi:10.1007/978-3-319-50230-4_11 [11] A.N.Kolmogorov和V.A.Uspenskii（217-245）：关于算法的定义。美国数学学会翻译：系列2 29，第217-245页，doi:10.1090/trans2/029·Zbl 0128.01302号 ·doi:10.1090/trans2/029 [12] David R.Luginbuhl和Michael C.Loui（1993）：指针机器的层次结构和空间度量。信息与计算104（2），第253-270页，doi:10.1006/inco.1993.1032·Zbl 0781.68054号 ·doi:10.1006/inco.1993.1032 [13] Detlef Plump（2012）：GP 2的设计。In：程序。第十届改写和编程简化策略国际研讨会（WRS 2011），《理论计算机科学电子论文集》82，第1-16页，doi:10.4204/EPTCS.82.1·doi:10.4204/EPTCS.82.1 [14] Detlef Plump（2017）：从强制性到基于规则的图形程序。《程序设计中的逻辑和代数方法杂志》88，第154-173页，doi:10.1016/j.jlamp.2016.12.001·Zbl 1362.68032号 ·doi:10.1016/j.jlamp.2016.12.001 [15] A.Schönhage（1980）：存储修改机器。SIAM计算机杂志9（3），第490-508页，doi:10.1137/0209036·Zbl 0454.68034号 ·doi:10.1137/0209036 [16] Steven Skiena（2020）：算法设计手册，第三版。《计算机科学文本》，斯普林格，doi:10.1007/978-3-030-54256-6·doi:10.1007/978-3-030-54256-6 [17] Peter van Emde Boas（1989）：存储改造机器的空间测量。《信息处理快报》30（2），第103-110页，doi:10.1016/0020-0190（89）90117-8·兹比尔0669.68037 ·doi:10.1016/0020-0190（89）90117-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。