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 - Show that the PCP is undecidable over a binary alphabet, that is, over the alphabet = {0,1}.
Automata and Computability - See Attached Sheet
Automata and Computability (A128) - See Attached Sheet
Automata and Computability - See Attached Sheet