4.3 Тьюринг және Пост машинасы көмегімен «алгоритм» ұғымын анықтау Тьюринг және Пост машиналар толығымен детерминделген универсалды орындаушылар болып табылады. Олардың көмегімен алғашқы деректер енгізілгеннен кейін нәтижені «оқуғаң болады. Тьюринг және Пост машиналарында орындалатын есептеулерге шектеулер бар ма деген сұраққа Пост былайша
38
жауап берген: «егер кез келген бойынша нәтижеге әкелетін жалпы әдіс болса ғана программа құруға берілген есептердің шешімі болады».
Постың анықтамасы алгоритм ұғымына және осы алгоритмді цифрлы автомат көмегімен шешуге болатындығына әкеледі.
