wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

context_free_grammar (1116B)


      1 # Context free grammar
      2 
      3 ## Concepts
      4 
      5 - [nonterminals]
      6 - [terminals]
      7 - [production]
      8 - [axiom]
      9 - [derivation_tree]
     10 - [context_free_language]
     11 - [proto_word]
     12 
     13 ## Equivalence
     14 
     15 - [context_free_grammar_pushdown_automaton_equivalence]
     16 - [context_free_grammar_equivalence]
     17 
     18 ## Subclasses
     19 
     20 - [context_free_grammar_deterministic]
     21 - [context_free_grammar_unambiguous]
     22   - [context_free_grammar_ambiguous]
     23 - [context_free_grammar_linear]
     24 - [context_free_grammar_bounded]
     25 - [context_free_grammar_polyslender]
     26 - [context_free_grammar_finite]
     27 - [inherently_ambiguous]
     28 
     29 ## Complexities
     30 
     31 - [logcfl]
     32 - [logdcfl]
     33 
     34 ## Problems
     35 
     36 - [context_free_grammar_equivalence]
     37 - [smallest_grammar_problem]
     38 
     39 ## Fields
     40 
     41 - [parsing]
     42 
     43 ## Extensions
     44 
     45 - [probabilistic_grammar]
     46 - [multiple_context_free_grammar]
     47 
     48 ## Results
     49 
     50 - [Greibach's_theorem]
     51 
     52 See also: [regular_language], [chomsky_hierarchy], [context_free_language], [inherently_ambiguous], [graph_grammar], [semilinear_set], [language_power_series], [Hyperedge_replacement_grammar]
     53 
     54 Up: [formal_language_theory], [formal_grammar]
     55 
     56 Aliases: CFG, CFGs, context free grammars, context-free grammars