{
  "tag": "8WWSGW",
  "kind": "model",
  "slug": "nondeterministic-turing-machine",
  "name": "Nondeterministic Turing machine",
  "aliases": [
    "NTM"
  ],
  "area": "foundations/models-of-computation",
  "level": "core",
  "summary": "Turing machine with multiple allowed transitions; accepts if some computation path accepts.",
  "prereqs": [
    "turing-machine",
    "multitape-turing-machine"
  ],
  "sources": [
    {
      "book": "isbn:9781133187790",
      "title": "Michael Sipser, Introduction to the Theory of Computation, third edition",
      "locator": "Section 3.2 (nondeterministic Turing machines) and Section 7.3 (the class NP)"
    },
    {
      "book": "isbn:9780521424264",
      "title": "Sanjeev Arora and Boaz Barak, Computational Complexity: A Modern Approach",
      "locator": "Chapter 2, Section 2.1 (the class NP), including Section 2.1.2 (nondeterministic Turing machines)"
    },
    {
      "book": "isbn:9780201530827",
      "title": "Christos H. Papadimitriou, Computational Complexity, Addison-Wesley, 1994",
      "locator": "Section 2.7 (nondeterministic machines)"
    }
  ],
  "see_also": [
    "np",
    "p",
    "np-complete",
    "cook-levin-theorem",
    "multitape-simulation-theorem",
    "savitch-theorem",
    "pspace",
    "exptime"
  ],
  "url": "https://algorithm.tamnd.com/nondeterministic-turing-machine/",
  "path": "nodes/foundations/models-of-computation/nondeterministic-turing-machine",
  "status": {
    "slug": "nondeterministic-turing-machine",
    "h": {
      "level": 0,
      "max": 3,
      "label": "H0",
      "name": "no proof",
      "next": [
        "add a proof in proofs/ (06.5)"
      ]
    },
    "l": {
      "level": 0,
      "max": 4,
      "label": "L0",
      "name": "no Lean part",
      "next": [
        "name a Lean module in the lean field (07)"
      ]
    },
    "i": {},
    "v": {
      "level": 0,
      "max": 3,
      "label": "V0",
      "name": "none",
      "next": [
        "add viz/scene.ts or a figure (10)"
      ]
    },
    "w": {
      "level": 4,
      "max": 5,
      "label": "W4",
      "name": "complete",
      "next": [
        "a review of the text: no review record reviews/8WWSGW/text.yaml"
      ]
    }
  },
  "scene": false
}