Similar to 非同期セル・オートマトン

Recursively enumerable language

Computably enumerable set

Computable function

Computable number

A New Kind of Science#Principle of computational equivalence

Computational complexity theory

Model of computation

Computational neuroscience

Computational philosophy

Gödel numbering

Decision problem

Primitive recursive function

Rewriting

Confluence (abstract rewriting)

Kolmogorov complexity

Recursion

Self-reference

Predicate logic

Foundations of mathematics

Sudan function

Recurrence relation

Mutual recursion

Tak (function)

Chaitin's constant

Church–Turing thesis

Turing completeness

Halting problem

Nomogram