|
[[Dosya:DFAexample.svg|thumb|right250px|Bir özdevinimOtomat örneği. Özdevinim kuramında, bu gibi özdevinimlerin matematiksel özellikleri incelenir.]]
Kuramsal bilgisayar biliminde '''özdevinirler kuramı'''<ref>http://www.tdk.gov.tr/TR/Genel/BelgeGoster.aspx?F6E10F8892433CFFAAF6AA849816B2EFF63E980C93B76373</ref> (veya bazen ''Otomatlar kuramı'' olarak da geçer.) [[soyut makine]]lerin ve hesaplamalı soruların bu makineler yardımıyla çözülmesini araştıran [[bilgisayar mühendisliği]] dalıdır. [[Biçimsel dil kuramı]] ile yakından ilgilidir. Özdevinirler [[derleyici]] tasarımı ve ayrıştırmasında önemli rol oynar.
'''Özdevinim kuramı''', '''otomat kuramı''' ya da '''otomata kuramı''', [[kuramsal 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 özdevinim ya da otomat denir. Otomat kelimesinin kökeni [[Yunanca]]'dır (αὐτόματα) ve "kendi kendine hareket eden" anlamına gelir.
== Otomat ==
Özdevinimler [[hesaplama kuramı]], [[derleyici]] tasarımı ve [[çözümleme]]de (''parsing'') önemli bir rol oynamaktadır.
;Otomat
:Bir otomat 5 elemanlı bir demet ile tanımlanır '''⟨Q,∑,δ,q<sub>0</sub>,F⟩''':
== Özdevinim sınıfları ==
:*Q sonlu durumların kümesi
*[[Deterministik sonlu özdevinim]] (''Deterministic finite automata'')
:*∑ sonlu simgelerin kümesi
*[[Deterministik olmayan sonlu özdevinim]] (''Nondeterministic finite automata'')
:*δ transition fonksiyonudur: δ: Q × ∑ → Q.
*Deterministik olmayan sonlu özdevinim ε-geçişli (''Nondeterministic finite automata with ε-transitions''
:*q<sub>0</sub> is the ''start state'', that is, the state which the automaton is ''in'' when no input has been processed yet, where q<sub>0</sub>∈ Q.
*[[Yığıtlı özdevinim]] (''Pushdown automata'')
:*F, Q'nun durumlarıdır (i.e. F⊆Q)
*[[Doğrusal sınırlı özdevinim]] (''Linear bounded automata'')
*[[Turing makinesi]]
*[[Zamanlı özdevinim]] (''Timed automata'')
*[[Deterministik Büchi özdevinim]] (''Deterministic Büchi automata'')
*[[Deterministik olmayan Büchi özdevinim]] (''Nondeterministic Büchi automata'')
*[[Rabin özdevinim|Deterministik/Deterministik olmayan Rabin özdevinim]] (''Nondeterministic/Deterministic Rabin automata'')
*[[Streett özdevinim|Deterministik/Deterministik olmayan Streett özdevinim]] (''Nondeterministic/Deterministic Streett automata'')
*[[Parite özdevinim|Deterministik/Deterministik olmayan perite özdevinim]] (''Nondeterministic/Deterministic parity automata'')
*[[Muller özdevinim|Deterministik/Deterministik olmayan Muller özdevinim]] (''Nondeterministic/Deterministic Muller automata'')
== Ayrıca bakınız ==
*[[Bilgisayar mühendisliği]]
*[[Biçimsel dil kuramı]]
*[[Hesaplanabilirlik]]
*[[Sonlu durum makinası]]
*[[OtomatSoyut makine]]
== Kaynakça ==
{{bilgisayar bilimi}}
{{kaynakça}}
▲{{ yazılımBilgisayar-taslak}}
[[Kategori:Özdevinim kuramı| ]] ▼[[Kategori:Hesaplama kuramı]]
[[Kategori:Bilgisayar mühendisliği]]
{{Link KM|ar}}
▲[[Kategori: ÖzdevinimÖzdevinirler kuramı | ]]
| 