Otomat teorisi: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
Küçük düzeltmeler yapıldı. Etiketler: Mobil değişiklik Mobil ağ değişikliği |
Superyetkin (mesaj | katkılar) + |
||
1. satır:
[[Dosya:DFAexample.svg|thumb|right|Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.]]
'''Otomat teorisi''' ('''özdevinim kuramı''' ya da '''otomata teorisi''', [[teorik bilgisayar bilimi]]nde [[soyut makine]]leri (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]] "{{dil|grc|αὐτόματα}}" kelimesi olup "kendi kendine hareket eden" demektir.
Otomatlar [[hesaplama teorisi]], [[derleyici]] tasarımı ve [[Parsing|çözümlemede]] (''{{dil|en|parsing}}'') önemli bir rol oynamaktadır.
Bir otomat 5 elemanlı bir demet ile tanımlanır '''⟨Q,∑,δ,q<sub>0</sub>,F⟩''':
*Q sonlu durumların kümesi
*∑ sonlu simgelerin kümesi
*δ transition fonksiyonudur: δ: Q × ∑ → Q
*q<sub>0</sub>, ''başlangıç durumu'' (q<sub>0</sub> ∈ Q koşuluyla)
*F, Q'nun durumlarıdır (F ⊆ Q)
== Özdevinim sınıfları ==
Satır 20 ⟶ 30:
== Ayrıca bakınız ==
*[[
▲*[[Otomat]]
{{bilgisayar bilimi}}
|