Disambiguation evidence for Turing machine via surface form

"Turing machines"

Triples (24)

Triples where some other subject referred to this entity as "Turing machines".

On Computable Numbers, with an Application to the Entscheidungsproblem → mainSubject →
"Turing machines"
↳ resolves to Turing machine
ⓘ
linked to: On Computable Numbers with an Application to the Entscheidungsproblem
Introduction to the Theory of Computation → topic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Entscheidungsproblem → provedUndecidableUsing →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Gödel, Escher, Bach → subject →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Halting problem → concerns →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Computability Theory → fieldOfStudy →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Complexity Theory → usesConcept →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Satan, Cantor, and Infinity → mainSubject →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Computability and Unsolvability → topic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Engines of Logic → mentionsConcept →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Mathematical Theory of Computation → topic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Introduction to Automata Theory, Languages, and Computation → topic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
linked to: "Introduction to Automata Theory, Languages, and Computation"
The Emperor's New Mind → mainSubject →
"Turing machines"
↳ resolves to Turing machine
ⓘ
speedup theorem → involvesConcept →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Foundations of Computer Science → coversTopic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Rice's theorem → appliesTo →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Elements of the Theory of Computation → hasSubject →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Post correspondence problem → relatedTo →
"Turing machines"
↳ resolves to Turing machine
ⓘ
A. K. Dewdney → hasWrittenOn →
"Turing machines"
↳ resolves to Turing machine
ⓘ
algorithmic information theory → basedOnConcept →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Automata Theory → studies →
"Turing machines"
↳ resolves to Turing machine
ⓘ
Formal language theory → uses →
"Turing machines"
↳ resolves to Turing machine
ⓘ
linked to: Formal Language Theory
Automata and Computability → topic →
"Turing machines"
↳ resolves to Turing machine
ⓘ
linked to: Automata and Computability (textbook)
Hilbert's tenth problem → relatedTo →
"Turing machines"
↳ resolves to Turing machine
ⓘ
linked to: H10