İçeriğe atla

Otomat teorisi

Vikipedi, özgür ansiklopedi
21.09, 5 Aralık 2020 tarihinde Khutuck Bot (mesaj | katkılar) tarafından oluşturulmuş 24289965 numaralı sürüm (Bot v3: Kaynak ve içerik düzenleme (hata bildir))
Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.

Otomat teorisi (özdevinim kuramı ya da otomata teorisi, teorik bilgisayar biliminde soyut makineleri (ya da daha uygun bir deyimle soyut 'matematiksel' makineleri veya sistemleri) ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçeαὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.

Biçimsel dil kuramı ile yakından ilgilidir. Özdevinirler derleyici tasarımı ve ayrıştırmasında önemli rol oynar.

Otomatlar hesaplama teorisi, derleyici tasarımı ve çözümlemede (İngilizceparsing) önemli bir rol oynamaktadır.

Otomat

Bir otomat 5 elemanlı bir demet ile tanımlanır ⟨Q,∑,δ,q0,F⟩:

  • Q sonlu durumların kümesi
  • ∑ sonlu simgelerin kümesi
  • δ transition fonksiyonudur: δ: Q × ∑ → Q
  • q0, başlangıç durumu (q0 ∈ Q koşuluyla)
  • F, Q'nun durumlarıdır (F ⊆ Q)

Özdevinim sınıfları

Ayrıca bakınız