一种面向动态、异构和随机架构的新型自动机
形式语言与自动机理论
2017-03-07 v3
摘要
本文旨在为拟态计算机建立数学模型。为此，提出了一种新型自动机。首先，使用一维元胞自动机表达计算单元结构的某些动态变化，采用时序自动机描述某些状态转移，采用分层自动机表达某些计算单元的不同粒度，并使用概率自动机刻画计算单元的某些随机变化。其次，通过将上述各类自动机按一定逻辑关系组合得到该新型自动机。据我们所知，该新型自动机模型是首个能够刻画拟态计算系统操作语义的自动机，并且它可以直接描述拟态计算机的某些行为。
引用
@article{arxiv.1702.02240,
title = {A novel type of Automata for dynamic, heterogeneous and random architectures},
author = {Weijun Zhu},
journal= {arXiv preprint arXiv:1702.02240},
year = {2017}
}
备注
8 pages, 4 figure