context_free_grammar (1154B)
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 - [context_free_grammar_universality] 38 - [smallest_grammar_problem] 39 40 ## Fields 41 42 - [parsing] 43 44 ## Extensions 45 46 - [probabilistic_grammar] 47 - [multiple_context_free_grammar] 48 49 ## Results 50 51 - [Greibach's_theorem] 52 53 See also: [regular_language], [chomsky_hierarchy], [context_free_language], [inherently_ambiguous], [graph_grammar], [semilinear_set], [language_power_series], [Hyperedge_replacement_grammar] 54 55 Up: [formal_language_theory], [formal_grammar] 56 57 Aliases: CFG, CFGs, context free grammars, context-free grammars