TURING MAKİNESİ NASIL ÇALIŞIR?

... konulu sunumlar: "TURING MAKİNESİ NASIL ÇALIŞIR?"— Sunum transkripti:

1 TURING MAKİNESİ NASIL ÇALIŞIR?

2 Makinenin sonlu bir iç durumlar kümesi vardır
Makinenin sonlu bir iç durumlar kümesi vardır. Verili bir anda makine bu durumların birinde bulunur. Makinenin bir okuyucu-yazıcı kafası vardır. Bu kafanın önüne karelere bölünmüş bir sonsuz şerit ya da bant yerleştirilmiştir. Bu karelerin her biri ya boştur ya da sonlu bir simgeler kümesine ait bir simge içerir.

3 The Turing Machine Tape memory (movable) a b c a a b b c a Read head
q0 h q1 q3 q2 State machine

4 Makine o anda içinde bulunduğu iç duruma göre, okur-yazar kafanın önündeki karede yer alan simgenin fonksiyonu olarak(kullanılan programdaki kural listesine bakarak), 1. Bu karedeki simgeyi siler ya da bu kareye yeni bir simge yazar. 2. Şeridi bir kare sağa ya da sola yürütür. 3. Yeni bir iç duruma geçer.

5 Makinenin iç durumundan biri pasif durumdur
Makinenin iç durumundan biri pasif durumdur. Makine bu iç duruma geçtiğinde hesaplamasını bitirmiş demektir. Turing Makinesi, işlemleri ardışık ve ayrık adımlar biçiminde gerçekleştirir. TM, hem bilgi girişi/çıkışı makineleri, hem de evet/hayır karar verme makineleridir.

6 Üzerinde belirli bir simgeler dizisi yazılı olan şerit, belirli bir karesi kafanın önüne gelecek biçimde yerleştirilir. Makine belirli bir başlangıç durumunda olmak üzere süreç başlatır. Bir dizi ardışık adımdan sonra pasif duruma gelip durduğunda, şerit üzerinde yazılı bulunan simgeler dizisi, hesaplamanın sonucunu oluşturur.

7 TM çalışırken ortamda ayrı bir bilgi girişi yoktur
TM çalışırken ortamda ayrı bir bilgi girişi yoktur. Bilgi girişinin TM çalışmaya başladığında bant üzerinde bulunması gerekir.

8 TM’de kullanılan her program, kural listesindeki komutları uygular.
Her program beşliler kümesinden oluşur: (qi Si Sk [R,L] q1)

9 (qi Si Sk [R,L] q1) komutu şöyle okunur:
Makine qi durumundadır. Okuma-yazma kafası Si harfini içeren bir haneyi gösterir durumdadır. Bu harf yerine Sk yazılır. Okuma-yazma kafası sola (L) veya sağa (R) doğru yer değiştirir. Merkez birimi q1 durumuna geçer.

10 Bir Turing Makinesi, bir fonksiyonu tanımlayan fonksiyon gibi düşünülebilir.
Genellikle TM başlangıç şeridinde x argümanının bir gösterimini taşıyorsa ve f(x) fonksiyonunu işleyebiliyorsa, bu fonksiyon bir TM ile hesaplanabilir denir. Makine durduktan sonra şeridin aldığı durum f(x)’in değerini verir.

11 DÜŞÜNEN MAKİNELER ARDIŞIĞINI HESAPLAMA PROGRAMI
KURALLAR: * Bu kurallar 2’lik sistemdeki sayıların ardışığını bulmada kullanılır. Ardışığı hesaplanacak sayı şerit üzerine ters olarak yazılır. Sonuçta bulunan sayı da şerit üzerinde ters yazılıdır. If read 1, write 0, go right, repeat. If read 0, write 1, HALT! If read , write 1, HALT!

12 Şimdi ki örneğimizde 47=(101111)2 sayısının ardışığı olan sayıyı bulacağız:
If read 1, write 0, go right, repeat. If read 0, write 1, HALT! If read , write 1, HALT! 1

13 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

14 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

15 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

16 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

17 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

18 Bulduğumuz (110000)2 sayısı, 10’luk sistemde 47’nin ardışığı olan 48 sayısına eşittir.
Benzer şekilde 127’nin ardışığı olan sayı da 128 bulunmalıdır.

19 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1 1 1 1 1 1

20 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1 1 1 1 1

21 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1 1 1 1

22 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1 1 1

23 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1 1

24 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1 1

25 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

26 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT!

27 If read 1, write 0, go right, repeat.
If read 0, write 1, HALT! If read , write 1, HALT! 1

28 TURING MAKİNESİNİN DİNAMİK GÖSTERİMİ
Bir t zamanında biçimi verilmiş TM uapxv ile gösterilsin. Burada p mevcut içsel durumu, ua makinenin okur-yazar kafasının solunda ne olduğunu, x neyin o anda okunduğunu ve v makinenin okur-yazar kafasının sağında ne olduğunu belirtir.

29 TM beş durum içerir: (K, Σ, δ, s, H) K: sınırlı iç durumlar kümesi Σ: makinenin kullandığı sembol alfabesi s: ilk durum H: bitiş durumu δ: geçiş görevi From (K-H) x Σ To K x(Σ U {move tape R or L} )

30 δ(p,x) = (q,y,D) şu anlama gelir:
TM, q içsel durumuna geçer. x yerine y yazar. Bant D yönünde ilerler.

31 EVRENSEL TURING MAKİNESİ ( U-TM )
Turing’in en büyük katkısı, herhangi bir T Turing makinesinin hesaplayabildiği her şeyi işleyen bir evrensel U Turing makinesinin yapılabileceğini kanıtlamaktı.

32 U makinesi Turing makinelerinin bir çevirmenidir ve evrenseldir; ayrıca uzmanlaşmış bir Turing makinesinin işlediği her şeyi hesaplayabilir. Church’un tezine göre U, hesaplanması bilinen her şeyi hesaplayabilen bir makinedir ve U, gerçekten hesaplanabilen kavramları tanımlamaya yarar.

33 U-TM’nin çalışma sistemi orijinal TM ile aynıdır
U-TM’nin çalışma sistemi orijinal TM ile aynıdır. TM ne kadar karmaşık olursa olsun, U-TM fonksiyonu hesaplayabilir; orijinal TM, U-TM’den daha çok durum içerse bile bu sonuç değişmez. U-TM’nin bunu yapabilmesi için her TM’nin sahip olduğu dT simgeler zincirini içermesi gerekir. Çünkü bu dT simgeler zinciri, TM’ni U-TM’ne tanıtır.

34 Example Turing Machine Data (b, b, R) (a, a, R) (a, a, R)
3 START 1 HALT 2 Turing Machine abaaabaaaabababababbaaabaabaaaab Data baa

35 Input for UTM Turing Machine (encoded) # a b a a a b a a a a b a b a b
$ b a a  Data Mark to indicate start of Data Start of Tape

36 UTM Initialize Tape Remember first Is TO the NO Find & Remember
HALT state? Remember first letter of Data NO Find & Remember WRITE & MOVE Find first instruction YES Update Tape Find & Remember WRITE & MOVE Remember current letter of Data Update Tape Find next instruction HALT