Post Correspondence Problem
Rigorously establish the decidability or undecidability of the following languages: (a) (20 Points) L = 0 n . (b) (20 Points) L = D is a DFA and L(D) is not recognized by a DFA with fewer states. 2. (30 Points) Prove that the following language is undecidable by giving a reduction from the Post […]
Post Correspondence Problem Read More »