context_free_language_complement (288B)
1 # Context free language complement 2 3 A [formal_language] which is the [language_complementation] of a [CFL] 4 5 [Emptiness_testing] is [undecidable] because the [universality_problem] is [undecidable] for [CFLs] 6 7 Up: [language_complementation], [CFL] 8 9 Aliases: CFG complement, CFL complement