通用寄存器机的计算过程可视化

摘要:用生命游戏的数组可以模拟通用寄存器机器,这是一种形式化的计算模型。我们对生命游戏中通用寄存器机器的计算动力学过程进行了谱分析。将数组分成小区域,并计算每个区域的演化来计算功率谱。功率谱的形状可以分为四类:零、白噪声、尖峰和幂律。通过将功率谱的形状表示为一个标记,我们可以可视化计算过程中每个区域的活动情况。例如,我们可以识别出脉冲在通用寄存器机器的组件之间移动的轨迹和频繁修改的寄存器的位置。这种方法可以揭示计算机的每个区域的功能差异。

作者:Shigeru Ninagawa and Genaro J. Martinez

论文ID:2104.02920

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2021-05-25

PDF 下载: 英文版 中文版pdf翻译中