9 views
Show that the Post Correspondence Problem is decidable over the unary alphabet $\Sigma = \{1\}$.
| 9 views