universality_context_free_grammar_unambiguous (320B)
1 # Universality context free grammar unambiguous 2 3 it is [decidable] and in [PSPACE]: 4 - https://cstheory.stackexchange.com/a/41001 5 - [clemente2020complexity] 6 7 Up: [universality_context_free_grammar], [uCFGs] 8 9 Aliases: context free grammar unambiguous universality 10 11 See also: [equivalence_context_free_grammar_unambiguous]