无限自动机论

在无限自动机论中，主要研究信息加工系统和计算过程的数学模型、模拟、计算、识别和限制等问题。研究存储量无限的离散数字系统功能和结构以及两者关系的的理论，是自动机论的次级学科。数字电路这类物理系统，只包含有限个记忆元件，它的存储量是有限的。但是，稍复杂的算法，例如整数乘法所要求的存储量往往是无限的。离散数字系统按照存储量分为两大类：存储量有限的和存储量无限的。后者的数学模型为各种无限自动机。在无限自动机论中，主要研究信息加工系统和计算过程的数学模型、模拟、计算、识别和限制等问题。