Дефиниција Тјурингове машине
Мисцелланеа / / July 04, 2021
Аутор Гуиллем Алсина Гонзалез, у новембру 2018
Када је свет кренуо ка новом глобалном пожару, тридесетих година 20. века, наука о рад на рачунару Такође је напредовала вођена у многим случајевима припремом за ратне напоре за које су неки већ очекивали да ће стићи.
У том контексту је британски математичар Алан Туринг (а постериори сматран једним од очева рад на рачунару модерни) развија своје дело и 1936. постулира шта ће бити темељи рачунар модеран.
Позив Турингова машина То је теоретски уређај способан за обраду података према датим правилима.
И правила и подаци су одвојени; у ствари, Туринг је замишљао да ће се правила чувати на некој врсти фиксног медија, док подаци би се чували на тракама које би иста машина могла да модификује према табели од правила.
У овом концептуалном моделу јасно видимо напредак онога што ће савремени рачунари бити: чак и ако неко има ниво Корисничко име једноставно, лако можете уочити разлику између апликација „Непроменљиви“ (са нијансама, али у овом случају узмимо тако) и подаци, који се могу мењати пратећи правила, која би била програмирање.
Иако је теоријска Турингова машина страховито једноставна, изводећи само врло основне операције попут промене стања, читање и писање, способан је да изврши све математичке прорачуне које механички рачунар може да изведе помоћу а алгоритам.
Другим речима, ако би се проблем могао изразити помоћу а алгоритам У писаном облику, Турингов строј би га могао обрадити - барем на теоретском нивоу.
Алан Туринг је то замислио као вежбу којом показује да постоје математички проблеми које рачунари нису могли да реше.
Траку са подацима, коју је Тјуринг замислио као бесконачну, машина може померати с десна на лево и слева надесно, попут старе касете или филмске траке на коју се може премотати или унапредити дискреција.
Скуп правила такође се може схватити као програмски језик, јер мора имати синтаксу логика и доследан.
Осврћући се уназад, други математичари су направили софистицираније верзије Тјурингове машине.
Дакле, постоје машине са два опсега, детерминисти или чак квантна Тјурингова машина која то може помоћ, као и њен славни предак, поставља темеље дуго очекиваног рачунања квантни.
Пхото Фотолиа: Цхрисдорнеи / Стеве Симмонс
Теме из Турингове машине