Postov problem in Turingov stroj