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

Slides:



Advertisements
Benzer bir sunumlar
TAM SAYILAR.
Advertisements

ALPER LAÇİN SERDAR TAŞAN
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
TURING MAKİNESİ NASIL ÇALIŞIR?
DOĞRUSAL ZAMANLA DEĞİŞMEZ SİSTEMLERDE FARK DENKLEMLERİ
İkili Ağaçlar İkili Arama Ağaçları
TÜKETİCİ TEORİSİ fig.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
SONLU DURUM OTOMATLARI
SONLU DURUM OTOMATLARI
ULUSLARARASI BAKALORYA D İ PLOMA PROGRAMI TED ANKARA KOLEJ İ ÖZEL L İ SES İ 2012.
ÜNİTE 1 DOĞAL SAYILAR.
TBF Genel Matematik I DERS – 1 : Sayı Kümeleri ve Koordinatlar
SONLU DURUM OTOMATLARI
OTOMATA TEORİSİ SELÇUK KILINÇ
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN. Sunu Planı Bu derste, çizgelerin bilgisayarda gösterimine ilişkin iki standart yaklaşımı inceleyeceğiz.
Tam Rekabet Tam rekabet piyasasının dört özelliği:
Yapay Zeka Teknikleri Kullanılarak Yüzey Modelleme
ÇİZGELERİN GÖSTERİMİ Yılmaz KILIÇASLAN.
Bağlama Duyarlı Diller
SONLU OTOMATLARIN PROGRAMLANMASI
Ders Adı: Sayısal Elektronik
PROLOG PROGRAMLAMA DİLİNDE
DÜZENLİ İFADELER Regular Expressions Edip Serdar GÜNER.
İlköğretim matematik öğretmenliği 2. grup
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
© Copyright by Deitel & Associates, Inc. and Pearson Education Inc. All Rights Reserved. 1 Amaçlar Bu derste öğrenilecekler: –Uygulamaları “method”
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
Merhaba arkadaşlar.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
SAYICILAR (COUNTERS).
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
Bilgisayar Bilimlerinin Kuramsal Temelleri
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
KÜME ÇEŞİTLERİ 2. Sonlu ve Sonsuz Küme 1.Boş Küme 3. Evrensel Küme
DÜZENLİ İFADELER Regular Expressions.
Biçimsel Diller ve Soyut Makineler
KÜMELER.
EMİNE TAVİL GÖNÜL BAYDEMİR ZELİHA AYDEMİR
Biçimsel Diller ve Soyut Makineler
SONLU OTOMATLAR Yılmaz Kılıçaslan.
Biçimsel Diller ve Soyut Makineler Push-Down Automata (PDAs)
TEMEL GEOMETRİK KAVRAMLAR VE ÇİZİMLER ÜÇGEN VE DÖRTGENLER
NFA-, NFA, DFA dönüşümü 1.
SAYISAL ANALİZ Doç.Dr. Cüneyt BAYILMIŞ.
(Yapay) Zekâ ve Mantık (Programlama) - Olabilirliği ve Geleceği - Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
Biçimsel Diller ve Soyut Makineler
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Karmaşıklık - Yılmaz Kılıçaslan.
TURİNG MAKiNESİ.
Biçimsel Diller ve Soyut Makineler
Bölüm10 İteratif İyileştirme Copyright © 2007 Pearson Addison-Wesley. All rights reserved.
Learning to learn network for low skilled senior learners ÖĞRENME KABİLİYETİMİ VE YAKLAŞIMIMI BİLME Öğrenmeyi öğrenme Her yerde ve her zaman kendi stilimle.
Formel Diller ve Soyut Makineler
Formel Diller ve Soyut Makineler
HAZIRLAYAN: Salih YERLİ SINIFI: 6\A NUMARASI: 1287
Formel Diller ve Soyut Makineler
Turing Machines Turing Makineleri.
Formel Diller ve Soyut Makineler
NİŞANTAŞI ÜNİVERSİTESİ
Belirsiz Sonlu Özdevinirler
NİŞANTAŞI ÜNİVERSİTESİ
NİŞANTAŞI ÜNİVERSİTESİ
Altbasımlı Özdevinirler
Sunum transkripti:

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

Sunum Planı Turing makinelerinin tanımı Örnekler Tartışma ve sonuç

Turing’in Tanımı ... 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)

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. Turing Makinesi = Sonlu Bir Kontrol Ünitesi + Bir Teyp

Formel Bir Turing Makinesi Tanımı 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 q1: 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).

Örnek: Üç S1 yazma S0:S1 S0:S1 S0:S1 q1 S1:L q2 S1:L q3

Örnek: 1’lerin sayısını ikiye katlama q1 1:L q2 q3 1:L q4 1:R q5 0:R q6 0:L q7 0:L q8 1:L q9 0:L q10 0:L 0:L 0:1 0:1 1:R 1:R 1:0 1:L 1:L q11 1:L 0:R q12

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