主题
Search

自动机理论

对抽象计算机器（尤其是图灵机）的数学研究以及对此类机器所用算法的分析。

Christol et al. (1980) 提供了自动机理论和数论之间的联系，他们表明序列 {a_n} 由 p-自动机生成 当且仅当 系数为 a_n 的 形式幂级数 在有理元素域 A(X)/Q(X) 上是代数式的，其中 A(X) 和 Q(X) 是系数在有限域 F_p 中的多项式。

亦请参阅

抽象机, 细胞自动机, 图灵机

使用 Wolfram|Alpha 探索

参考文献

Christol, G.; Kamae, T.; Mendès-France, M.; and Rauzy, G. "Suites Algébriques, automates et substitutions." Bull. Soc. Math. France 108, 401-419, 1980.Harrison, M. A. 开关和自动机理论导论。 New York: McGraw-Hill, p. 188, 1965.Simon, M. 自动机理论。 Singapore: World Scientific, 1999.Wolfram, S. 一种新的科学。 Champaign, IL: Wolfram Media, 2002.

在 Wolfram|Alpha 上被引用

自动机理论

请引用为

Weisstein, Eric W. "自动机理论。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/AutomataTheory.html

主题分类