4

Example Questions
2
Computer Science: Is the emptiness problem for one-way nondeterministic stack automata solvable?
0
Computer Science: Is there a linear time algorithm that decides whether a symbol in a context-free grammar is nullable?
0
Computer Science: Does every set of definite clauses have a least Herbrand model?
0
Computer Science: Is the Post Correspondence Problem over a unary alphabet decidable?