language_emptiness (368B)
1 # Language emptiness 2 3 The [computational_problem] of deciding if a [formal_language] is [empty_language] 4 5 - [automaton_emptiness] 6 - [CFG_emptiness] 7 8 Can be [undecidable] for some formalisms: 9 - cf https://cstheory.stackexchange.com/q/21741 10 11 Up: [computational_problem], [formal_language] 12 13 See also: [universality_problem] 14 15 Aliases: emptiness testing, emptiness problem