图灵机

广义相对论, 时空, 理论物理, 计算机科学, 超计算

马莱曼-霍加思时空 (Malament–Hogarth spacetime)

图灵机, 时空, 相对论, 超计算, 马莱曼-霍加思时空

可计算性理论, 数学, 计算机科学, 逻辑, 集合论

可计算序数 (Computable Ordinal)

可计算序数, 可计算性, 图灵机, 序数, 集合论

学术研究, 数学家, 理论计算机科学, 芬兰, 计算机科学家

雅科·卡里 (Jarkko Kari)

图灵机, 数学, 王氏砖, 计算机科学, 雅科·卡里

图灵机, 形式语言, 理论计算机科学, 自动机理论, 计算机科学

无限制文法 (Unrestricted Grammar)

0型文法, 图灵机, 形式语言, 无限制文法, 计算理论

图灵机, 理论计算机科学, 算法, 计算机科学, 计算模型

多带图灵机 (Multitape Turing machine)

图灵机, 多带图灵机, 算法, 计算机科学, 计算理论