context_free_language_linear (402B)
1 # Context free language linear 2 3 A *linear context-free language* is a [CFL] that is recognized by a [linear_CFG] 4 5 Special cases: 6 - [unambiguous_linear_CFL] 7 - [deterministic_linear_CFL] 8 9 By [Greibach's_theorem], it is undecidable whether an input [CFG] recognizes a [linear_CFL] 10 11 Up: [context_free_language] 12 13 Aliases: linear context-free language, linear context-free languages, linear CFL, linear CFLs