完全图计算模型的时间和空间度量
摘要：用基于GP2图程序子类的计算模型来模拟任何离线图灵机，其空间复杂度为O(s(n)log s(n))，而空间使用仅为O(s(n))。模拟只需要二次时间开销。我们的模型与Sch"onhage的存储修改机器和Kolmogorov-Uspenskii机器共享此属性。这些机器使用低级指针指令，而我们基于GP2的模型使用基于模式的转换规则和高级控制构造。
作者：Brian Courtehoute (University of York), Detlef Plump (University of York)
论文ID：2212.11637
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-12-23