Sunum yükleniyor. Lütfen bekleyiniz

Sunum yükleniyor. Lütfen bekleyiniz

TURING MAKİNELERİ Yılmaz Kılıçaslan. Sunum Planı 2 1.Turing makinelerinin tanımı 2.Örnekler 3.Tartışma ve sonuç.

Benzer bir sunumlar


... konulu sunumlar: "TURING MAKİNELERİ Yılmaz Kılıçaslan. Sunum Planı 2 1.Turing makinelerinin tanımı 2.Örnekler 3.Tartışma ve sonuç."— Sunum transkripti:

1 TURING MAKİNELERİ Yılmaz Kılıçaslan

2 Sunum Planı 2 1.Turing makinelerinin tanımı 2.Örnekler 3.Tartışma ve sonuç

3 Turing’in Tanımı 3... her birine bir sembolün yazılabileceği karelere ayrılmış sonsuz uzunlukta bir teyp ile elde edilen sınırsız bellek kapasitesi. Belli bir anda makinede, okunan sembol olarak adlandırılan tek bir sembol mevcuttur. Makine, okunan sembolü değiştirebilir ve davranışı kısmen bu sembol tarafından belirlenir, fakat teyp içindeki diğer sembollerin makinenin davranışı üzerinde hiçbir etkisi yoktur. Yalnız, makinenin temel işlemlerinden bir tanesi de teyp üzerinde ileriye ve geriye doğru hareket edebilmektir. Dolayısıyla, teypteki her bir sembol er ya da geç erişilebilecektir. (Turing 1948, p. 61)

4 Formel Olmayan Bir Tanım Bir Turing makinesi aşağıdakilerden oluşur: (Sola ve / veya sağa doğru) sonsuza kadar uzatılabilen, her biri (özel bir boşluk sembolü de dahil olmak üzere) bir sembol içeren ardışık hücrelere ayrılmış bir teyp. Her defasında gösterdiği hücreden bir sembol okuyup aynı hücreye bir sembol yazabilen veya bir önceki ya da sonraki hücreye kayabilen bir kafa. Bir sonlu durumlar kümesi. Bir geçiş fonksiyonu. 4 Turing Makinesi = Sonlu Bir Kontrol Ünitesi + Bir Teyp

5 Formel Bir Turing Makinesi Tanımı 5 Bir Turing makinesi şu yedi bileşenden oluşur: Q: Boş olmayan bir sonlu durum kümesi Γ: Boş olmayan bir simge kümesi / alfabe b Γ: boşluk sembolü ∑ ⊆ Γ \ {b}: Giriş simgelerini içeren küme q 1 : Başlangıç durumu F ⊆ Q: Bitiş durumlarını içeren küme δ: Q \ F x Γ  Q x Γ x {L, R}, geçiş fonksiyonu (L ve R, sırasıyla bir adım sola ve bir adım sağa kayma simgeleridir).

6 Örnek: Üç S 1 yazma 6 q1q1 q2q2 q3q3 S 0 :S 1 S 1 :L

7 Örnek: 1’lerin sayısını ikiye katlama 7 q1q1 q2q2 q3q3 q4q4 q5q5 q6q6 q7q7 q8q8 q9q9 q 10 q 11 q 12 1:L 0:L 0:1 1:L 0:1 1:R 1:0 1:R0:R 0:L 1:L 0:R 1:L 0:R 1:L 0:L

8 Kaynak  Turing, A.M. (1936). "On Computable Numbers, with an Application to the Entscheidungs problem". Proceedings of the London Mathematical Society  Alan Turing, 1948, "Intelligent Machinery." Reprinted in "Cybernetics: Key Papers." Ed. C.R. Evans and A.D.J. Robertson. Baltimore: University Park Press,


"TURING MAKİNELERİ Yılmaz Kılıçaslan. Sunum Planı 2 1.Turing makinelerinin tanımı 2.Örnekler 3.Tartışma ve sonuç." indir ppt

Benzer bir sunumlar


Google Reklamları