Байланысты: Э.А.Абдыкеримова.ИНФОРМАТИКАНЫҢ ТЕОРИЯЛЫҚ НЕГІЗДЕРІ
8.4 Тьюринг және Пост машинасы кӛмегімен «алгоритм» ҧғымын анықтау
4-ші дәрісте Тьюринг және Пост машиналары цифрлы автоматтар мысалы
ретінде қарастырылған. Бҧл машиналар толығымен детерминделген
универсалды орындаушылар болып табылады. Олардың кӛмегімен алғашқы
деректер енгізілгеннен кейін нәтижені «оқуғаң болады. Тьюринг және Пост
машиналарында орындалатын есептеулерге шектеулер бар ма деген сҧраққа
Пост былайша жауап берген: «егер кез–келген бойынша нәтижеге әкелетін
жалпы әдіс болса ғана программа қҧруға берілген есептердің шешімі болады».
Постың анықтамасы алгоритм ҧғымына және осы алгоритмді цифрлы
автомат кӛмегімен шешуге болатындығына әкеледі.
