Metadata
Author: Literature
Data
English[en]
The principal technique is reducing PCP to the problem we wish to prove undecidable. 9.5.
Spanish[es]
La técnica principal consiste en reducir el PCP al problema que se desea demostrar que es indecidible.