Байланысты: Э.А.Абдыкеримова.ИНФОРМАТИКАНЫҢ ТЕОРИЯЛЫҚ НЕГІЗДЕРІ
4.2 Тьюринг машинасы Бҧл елестегі машина - яғни ―қағаз бетіндегі‖ машина немесе машинаның
математикалық моделі.
Тьюринг машинасы - таза абстракция және ешқашан жасалмаған. Оның
пайдасы тҥрлі есептер шешімінің алгоритмі бар немесе жоқ екендігін
дәлелдеуге болады. Машина белгілі бір алгоритмді орындайтын болғандықтан,
бҧл машинаға алгоритмнің қасиеттерінен талаптар қойылады. Біріншіден,
машина толықтай детерминенделген (есептеулер нақты және жалпы тҥсінікті)
болуы қажет және тапсырылған ережелер жҥйесі негізінде әрекет етуі керек.
Екіншіден, ―бастапқы мәліметтерді‖ енгізуге мҥмкіндік беруі қажет.
Ҥшіншіден, берілген машинаның жҧмыс жасау ережелерінің жҥйесі және
шешілетін есептердің класы машина жҧмысы нәтижесін оқи алатындай болып
келістірілуі керек.
Тьюринг тезисі кез-келген алгоритмді Тьюринг машинасына салып
шешуге болатынға негізделген.
