Automata and Computability (A136) - Show that ANFA is NL-complete.
Automata and Computability - Show that the problem of testing whether two branching programs compute the same function is solvable in polynomial time if and only if P = NP
Automata and Computability - See Attached Sheet
Automata and Computability - Let A be the language of properly nested parentheses. For example, ( () ) and
( () ( () ) ) () are in A, but ) ( is not. Show that A is in L.
Automata and Computability - Prove that an oracle C exists for which NPC coNPC.
See attached file for full problem description.