Is the set of context free grammars that generate all words in co-RE?
-
05-11-2019 - |
سؤال
Is $\{\langle G \rangle | L(G) = \sum^{\star}\}$ in co-RE? $\langle G \rangle$ is the encoding of a context free grammar. My intuition is that this is false.
لا يوجد حل صحيح
لا تنتمي إلى cs.stackexchange