🗄️
math-debrief
CtrlK
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
  • 510 Lambda Calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
  • Number Theory
  • Theory of computation
    • Theory of computation: Abbreviations
    • Theory of computation: CHRONOLOGICAL TOPICS
    • Theory of computation: GLOSSARY
    • Theory of Computation: HIERARCHY
    • Theory of computation: LINKS
    • Theory of computation: TERMS
    • Theory of computation: TOPICS
    • Theory of computation: WIKI
    • Theory of Computation
    • 610-automata-theory
    • Formal systems
    • 621-grammar
      • Backus-Naur Form (BNF)
      • Context-free grammar
      • Context-sensitive grammar
      • Extended Backus–Naur Form (EBNF)
      • Regular Language
      • Terminal and nonterminal symbols
    • 622-syntax
    • 624-semantics
    • 630-computability-theory
    • 632-recursive-function-theory
    • 634-primitive-recursive-functions
    • 640-models-of-computation
    • 680-complexity-theory
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
Powered by GitBook
On this page

Was this helpful?

  1. Theory of computation

621-grammar

Backus-Naur Form (BNF)Context-free grammarContext-sensitive grammarExtended Backus–Naur Form (EBNF)Regular LanguageTerminal and nonterminal symbols
PreviousSKI combinator calculusNextBackus-Naur Form (BNF)

Was this helpful?