寄存器机
在数理逻辑和理论计算机科学中,寄存器机(),又译为暂存器机,是以类似于使用图灵机的方式使用的一类抽象机器。所有模型都是图灵等价的。
寄存器机得名于它有一个或多个“寄存器”——替代了图灵机的磁带和磁头,这个模型使用了多个唯一寻址的寄存器,每个都持有一个单一正整数。
在文献中至少可找到4个子类,下面按最原始到最类似计算机的次序列出:
任何正确定义的寄存器机都是图灵等价的。计算速度严重倚赖于模型细节。
"没有标准术语;每个作者都以自己的助记符或符号下定义。"
形式定义.
寄存器机构成如下:
*Kaphengst, Heinz, "Eine Abstrakte programmgesteuerte Rechenmaschine"', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:"5"(1959), 366-379.
*Ershov, A. P. "On operator algorithms",(Russian)Dok. Akad. Nauk 122 (1958), 967-970. English translation, Automat. Express 1 (1959), 20-23.
*Péter, Rózsa "Graphschemata und rekursive Funktionen", Dialectica 12 (1958), 373.
*Hermes, Hans "Die Universalität programmgesteuerter Rechenmaschinen. Math.-Phys. Semesterberichte(Göttingen)4(1954), 42-53.
Jan Van Leeuwen, ed. "Handbbook of Theoretical Computer Science. Volumne A: Algorithms and Complexity", The MIT PRESS/Elsevier, 1990. ISBN 978-0-444-88071-0(volume A). QA 76.H279 1990.
van Emde Boas' treatment of SMMs appears on pp. 32-35. This treatment clarifies Schōnhage 1980 -- it closely follows but expands slightly the Schōnhage treatment. Both references may be needed for effective understanding.
生成维基百科快照图片,大概需要3-30秒!