Post correspondence problem

by k

The post correspondence problem is undecidable because ATM is undecidable.

Advertisements