context_free_grammar_linear (569B)
1 # Context free grammar linear 2 3 https://en.wikipedia.org/wiki/Linear_grammar 4 5 [Computational_problems]: 6 - [linear_CFG_universality] 7 - [linear_CFG_equivalence] 8 - Testing [language_emptiness] of [intersection] is already [undecidable] by reduction from [post_correspondence_problem] 9 10 By [Greibach's_theorem], it is undecidable whether an input [CFG] recognizes a [linear_CFL] 11 12 Up: [context_free_grammar] 13 14 Aliases: linear grammar, linear grammars, linear context-free grammar, linear context-free grammars, linear CFG, linear CFGs 15 16 See also: [context_free_language_linear]