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