Turing machines
Theoretical computing models
A Turing machine is a theoretical computing device that manipulates symbols on a tape according to a set of rules.
Conceived by mathematician Alan Turing in 1936, it provides a formal model for computation and algorithmic processes.
Despite its simplicity—a read/write head, an infinite tape, and a table of instructions—a Turing machine can simulate any computer algorithm.
The concept is foundational to computer science, used to define what problems are computable in principle: The halting problem proves that no Turing machine can determine whether an arbitrary program will finish running.
Algorithmic resolution capability
- non-determinismAbsence of fixed outcomes
- busy beaverRelentlessly productive person
Adhesive strip on roll
- headUppermost body part
- stateCondition or mode
- symbolRepresentational mark or sign
- alphabetLanguage's letter system
read-write · cell · configuration · deterministic · non-deterministic · output · step · computation
Professional in abstract quantities
- Bletchley ParkWWII British cryptanalysis site
- EnigmaGerman encryption apparatus
- codebreakerOne who deciphers ciphers
- cryptanalysisStudy of breaking ciphers
Cambridge · Princeton · WWII · artificial intelligence · philosophy of mind · 1936 · biography · The Imitation Game
Demonstration of truth
- theoremDemonstrated logical conclusion
- axiomSelf-evident starting principle
- predicateSentence's non-subject portion
- deductionConclusion from premises
inference · propositional · validity · contradiction · tautology · completeness · soundness · symbolic logic
Viewable but not changeable
- write-onlyPermitting storage, forbidding access
- multi-trackHaving multiple parallel paths
decidability
Algorithmic resolution capability
- non-determinismAbsence of fixed outcomes
- busy beaverRelentlessly productive person
tape
Adhesive strip on roll
alphabet · read-write · cell · configuration · deterministic · non-deterministic · output · step · computation · encoding
mathematician
Professional in abstract quantities
- Bletchley ParkWWII British cryptanalysis site
- EnigmaGerman encryption apparatus
- codebreakerOne who deciphers ciphers
cryptanalysis · Cambridge · Princeton · WWII · artificial intelligence · philosophy of mind · 1936 · biography · The Imitation Game
proof
Demonstration of truth
- theoremDemonstrated logical conclusion
- axiomSelf-evident starting principle
- predicateSentence's non-subject portion
deduction · inference · propositional · validity · contradiction · tautology · completeness · soundness · symbolic logic · quantifier
read-only
Viewable but not changeable
- write-onlyPermitting storage, forbidding access
- multi-trackHaving multiple parallel paths
Turing machinessilicon chips
Etched semiconductor components
CPUs · digital computers · analog computers · ENIAC · embedded systems
Turing machinesquantum computers
Processors using subatomic physics
neural networks · parallel computing · human cognition · wetware