Postov korespondencny problem je velmi oblubena teoreticka otazka prof.H na skuske. Najdete to v Hopcrofftovi kdesi ku koncu. Nie je to az take tazke, dokaz je viacmenej slovny aj ked trochu na hlavu. Priklad co sme robili na cviku je primitivny, horsie to je ak dostanes vyriesit PKP z turingovho stroja, to sa ale tento rok necvicilo... dufam ze nebude...