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