context_free_grammar_inclusion (202B)
1 # Context free grammar inclusion 2 3 It is [undecidable], already for [uCFLs], and already for [linear_uCFLs], see [asveld2000note] 4 5 Up: [inclusion_problem], [context_free_grammar] 6 7 Aliases: CFG inclusion