ტურინგის მანქანის განმარტება

როდესაც მსოფლიო ახალი გლობალური ცეცხლისკენ მიდიოდა, 1930-იან წლებში მეცნიერება გამოთვლა ის ასევე წინ მიიწევდა, რასაც ხშირ შემთხვევაში ხელმძღვანელობდა საომარი მცდელობებისთვის მზადება, რასაც ზოგიერთი უკვე მოსალოდნელი იყო.

სწორედ ამ კონტექსტშია ბრიტანელი მათემატიკოსი ალან ტურინგი (პოსტერიუმი ითვლება ერთ – ერთი მამა გამოთვლა თანამედროვე) ავითარებს თავის ნამუშევრებს და 1936 წელს აყალიბებს პოსტულატს, თუ რა იქნება მისი საფუძველი კომპიუტერი თანამედროვე.

Ზარი ტურინგის მანქანა ეს არის თეორიული მოწყობილობა, რომელსაც შეუძლია მონაცემთა დამუშავება მოცემული წესების შესაბამისად.

წესებიც და მონაცემებიც ცალკეა; სინამდვილეში, ტურინგი წარმოიდგენდა, რომ წესები ინახებოდა რაიმე სახის ფიქსირებულ გარემოზე, მაშინ როდესაც მონაცემები ინახებოდა ფირებზე, რომელთა შეცვლა იმავე მანქანას შეეძლო ცხრილის შესაბამისად წესები

ჩვენ ნათლად ვხედავთ ამ კონცეპტუალურ მოდელში მიღწევას, თუ რა იქნება თანამედროვე კომპიუტერები: მაშინაც კი, თუ მას აქვს დონის დონე ნიკი მარტივია, თქვენ მარტივად დაინახავთ განსხვავებას

აპლიკაცია "უცვლელი" (ნიუანსებით, მაგრამ ამ შემთხვევაში ასე ავიღოთ) და მონაცემები, რომელთა შეცვლა შესაძლებელია წესების შესაბამისად, პროგრამირება.

მიუხედავად იმისა, რომ ტურინგის თეორიული მანქანა საშინლად მარტივია, ასრულებს მხოლოდ ძალიან მნიშვნელოვან ოპერაციებს, როგორიცაა მდგომარეობის შეცვლა, კითხვა და წერა, მას შეუძლია შეასრულოს ყველა მათემატიკური გაანგარიშება, რომელთა შესრულებაც შეუძლია მექანიკურ კომპიუტერს ალგორითმი.

სხვა სიტყვებით რომ ვთქვათ, თუ პრობლემის გამოხატვა შესაძლებელია ა ალგორითმი წერილობით, მისი დამუშავება შესაძლებელია - მინიმუმ თეორიულ დონეზე - ტურინგის მანქანით.

ალან ტურინგი ჩაფიქრდა, როგორც სავარჯიშო, რომელიც აჩვენებს, რომ არსებობდა მათემატიკური პრობლემები, რომელთა მოგვარება კომპიუტერებს არ შეეძლოთ.

მონაცემთა ფირზე, რომელიც ტურინგმა მოიაზრა, როგორც უსასრულო, მანქანა შეიძლება გადაადგილდეს მარჯვნივ მარცხნივ და მარცხნიდან მარჯვნივ, როგორც ძველი კასეტა ან ფირის ფირ, რომლის გადახვევა ან გადატანა შეიძლება შეხედულებისამებრ.

წესების კომპლექტი ასევე შეიძლება გაგებული იყოს როგორც პროგრამირების ენა, რადგან მას სინტაქსი უნდა ჰქონდეს ლოგიკა და თანმიმდევრული.

გადახედვისას, სხვა მათემატიკოსებმა შეადგინეს ტურინგის მანქანის უფრო დახვეწილი ვერსიები.

ამრიგად, არსებობს მანქანები ორი ზოლით, დეტერმინიტების, ან თუნდაც კვანტური ტურინგის მანქანა, რომელსაც შეუძლია დაეხმარა, ისევე როგორც მისმა ნათელმა წინაპრმა, საფუძველი ჩაუყარა დიდი ხნის ნანატრ გამოთვლას კვანტური.

ფოტო ფოტოლია: კრისდორნი / სტივ სიმონსი

თემები ტურინგის მანქანაში