无限自动机论

研究存储量无限的离散数字系统功能和结构以及两者关系的的理论，是自动机论的次级学科。数字电路这类物理系统，只包含有限个记忆元件，它的存储量是有限的。但是，稍复杂的算法，例如整数乘法所要求的存储量往往是无限 ......（本文共 2388 字 ）     [阅读本文] >>