Misplaced Pages

The following pages link to Decider (Turing machine)

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 49 items.

• Deterministic context-free grammar (links | edit)
• Noncontracting grammar (links | edit)
• Indexed grammar (links | edit)
• Wolfram's 2-state 3-symbol Turing machine (links | edit)
• Read-only Turing machine (links | edit)
• Embedded pushdown automaton (links | edit)
• Aperiodic finite state automaton (links | edit)
• Formal grammar (links | edit)
• Symmetric Turing machine (links | edit)
• Multi-track Turing machine (links | edit)
• Recursive language (links | edit)
• UML state machine (links | edit)
• Nested word (links | edit)
• Head grammar (links | edit)
• Global index grammar (links | edit)
• Literal movement grammar (links | edit)
• Range concatenation grammar (links | edit)
• Discontinuous-constituent phrase structure grammar (links | edit)
• Generalized context-free grammar (links | edit)
• Controlled grammar (links | edit)
• Minimalist grammar (links | edit)
• LL grammar (links | edit)
• Total Turing machine (redirect page) (links | edit)
  • General recursive function (links | edit)
  • Computable function (links | edit)
  • Termination analysis (links | edit)
  • Recursive language (links | edit)
  • Walther recursion (links | edit)
  • Talk:Decider (Turing machine) (links | edit)
  • User:Jochen Burghardt/sandbox8 (links | edit)
• Decider (computability theory) (redirect page) (links | edit)
• Growing context-sensitive grammar (links | edit)
• Thread automaton (links | edit)
• Local language (formal language) (links | edit)
• Pattern language (formal languages) (links | edit)
• Mildly context-sensitive grammar formalism (links | edit)
• Unambiguous finite automaton (links | edit)
• Unambiguous Turing machine (links | edit)
• Neural Turing machine (links | edit)
• Tree stack automaton (links | edit)
• Turing machine (disambiguation) (links | edit)
• Leftist grammar (links | edit)
• Interchange lemma (links | edit)
• Tagged Deterministic Finite Automaton (links | edit)
• Machine that always halts (redirect page) (links | edit)
  • Chomsky hierarchy (links | edit)
  • Primitive recursive function (links | edit)
  • Turing completeness (links | edit)
  • BlooP and FlooP (links | edit)
  • Circuit complexity (links | edit)
  • Total functional programming (links | edit)
  • Halting problem (links | edit)
  • Recursive language (links | edit)
  • Talk:Programming language/Archive 1 (links | edit)
  • User:Ruud Koot/Recursion theory (links | edit)
  • User:Dan Gluck (links | edit)
  • User:CRGreathouse/Formal (links | edit)
  • User:VeblenBot/List of mathematical logic articles (links | edit)
  • User:Jochen Burghardt/sandbox6 (links | edit)
  • User:Xxfooln/Books/Complexity Heirarchy (links | edit)
  • User:Zarzuelazen/Books/Reality Theory: Computation&Complexity (links | edit)
  • User:Firguy/Books/TuringMachines (links | edit)
  • Misplaced Pages talk:Citing sources/Archive 14 (links | edit)
• Decider Turing machine (redirect page) (links | edit)
  • Log-space computable function (links | edit)
  • Talk:Decider Turing machine (transclusion) (links | edit)
• Talk:Decider (Turing machine) (transclusion) (links | edit)
• User:GlasGhost (links | edit)
• User:GlasGhost/Useful Navboxes (links | edit)
• User:Idc18 (links | edit)
• User:Wikigambit (links | edit)
• User:Y-S.Ko/Wikipedia course/Language (links | edit)
• User:WikiLinuz/Computing (links | edit)
• User:Tule-hog/All Computing articles (links | edit)
• Template:Formal languages and grammars (links | edit)
• Template:Turing (links | edit)