🗄️
math-debrief
search
Ctrlk
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentalschevron-right
  • 200 Set and Set theorychevron-right
  • Relationschevron-right
  • Order theorychevron-right
  • Function Theorychevron-right
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:chevron-right
  • Logicchevron-right
  • 510 Lambda Calculichevron-right
  • Type theorychevron-right
  • Abstract Algebrachevron-right
  • Category Theorychevron-right
  • Number Theorychevron-right
  • Theory of computationchevron-right
    • 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 Computationchevron-right
    • 610-automata-theorychevron-right
    • Formal systemschevron-right
    • 621-grammarchevron-right
      • Backus-Naur Form (BNF)
      • Context-free grammar
      • Context-sensitive grammar
      • Extended Backus–Naur Form (EBNF)
      • Regular Language
      • Terminal and nonterminal symbols
    • 622-syntaxchevron-right
    • 624-semanticschevron-right
    • 630-computability-theorychevron-right
    • 632-recursive-function-theorychevron-right
    • 634-primitive-recursive-functionschevron-right
    • 640-models-of-computationchevron-right
    • 680-complexity-theorychevron-right
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,chevron-right
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathematchevron-right
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Theory of computation

621-grammar

Backus-Naur Form (BNF)chevron-rightContext-free grammarchevron-rightContext-sensitive grammarchevron-rightExtended Backus–Naur Form (EBNF)chevron-rightRegular Languagechevron-rightTerminal and nonterminal symbolschevron-right
PreviousSKI combinator calculuschevron-leftNextBackus-Naur Form (BNF)chevron-right

Was this helpful?

Was this helpful?