Дәріс №4. Автомат ақпараттық жҥйенің негізгі элементі ретінде. Абстрактылы автоматтар Дәріс жоспары: 4.1 ЭЕМ - бағдарламалық басқарылатын цифрлы автомат
4.2 Тьюринг машинасы
4.3 Пост машинасы
Абстрактылы (яғни тек адам қиялында ғана болатын) Пост және Тьюринг
машиналары бағдарламалардың қасиеттері туралы әр тҥрлі тҧжырымдарды
дәлелдеу ҥшін ойлап шығарылды. Бҧл бір-біріне тәуелсіз екі есептеу
машиналарының моделін (практикада бір уақытта) 1937 жылы Алан Тьюринг
ҧсынды. Бҧл машиналар толық детерминделген әмбебап орындаушылар болып
табылады. Олар алғашқы деректерді енгізіп, бағдарлама орындалғаннан кейін
нәтижені оқуға мҥмкіндік береді. Тьюринг машинасына қарағанда Пост
машинасы қарапайым болғанымен кең таралмаған.
