+A **Turing Machine** is a foundational theoretical model of `computation` [Computation](/wiki/computation). It precisely defines what an `algorithm` [Algorithm](/wiki/algorithm) can achieve, forming the conceptual bedrock for modern digital `computers` [Computer](/wiki/computer).
+## See also
+- [Halting Problem](/wiki/halting_problem)
+- [Computability](/wiki/computability)
+- [Lambda Calculus](/wiki/lambda_calculus)
... 1 more lines