Vikipedi

Otomat teorisi: Revizyonlar arasındaki fark

Etkileşimli olarak geçmişe göz at
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
← Önceki sürümle aradaki farkSonraki sürümle aradaki fark →
İçerik silindi İçerik eklendi
GörselVikimetin
Değişiklik özeti yok
Pinar (mesaj | katkılar)
Devriyeler
55.424 değişiklik
taslak
1. satır:
[[Dosya:DFAexample.svg|thumb|250pxright|OtomatBir özdevinim örneği. Özdevinim kuramında, bu gibi özdevinimlerin matematiksel özellikleri incelenir.]]
'''Özdevinim kuramı''', '''otomat kuramı''' ya da '''otomata kuramı''', [[kuramsal bilgisayar bilimi]]nde [[soyut makine]]lerin (ya da daha uygun bir deyimle soyut 'matematiksel' makinelerin veya sistemlerin) 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.
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.
 
Özdevinimler, [[hesaplama kuramı]], [[derleyici]] tasarımı ve [[çözümleme]]de (parsing) önemli bir rol oynamaktadır
== Otomat ==
;Otomat
: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: δ:&nbsp;Q&nbsp;×&nbsp;∑&nbsp;→&nbsp;Q.
:*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.
:*F, Q'nun durumlarıdır (i.e. F⊆Q)
 
== Ayrıca bakınız ==
*[[Biçimsel dil kuramı]]
*[[Bilgisayar mühendisliği]]
*[[Sonlu durum makinası]]
*[[Hesaplanabilirlik]]
*[[SoyutTuring makinemakinesi]]
 
{{Bilgisayaryazılım-taslak}}▼
== Kaynakça ==
{{kaynakça}}
 
[[Kategori:ÖzdevinirlerHesaplama kuramı]]▼
▲{{Bilgisayar-taslak}}
 
{{Link GA|ar}}
[[Kategori:Bilgisayar mühendisliği]]
[[ar:نظرية الآلاتالتشغيل المجردةالذاتي]]▼
▲[[Kategori:Özdevinirler kuramı]]
 
▲[[ar:نظرية الآلات المجردة]]
[[de:Automatentheorie]]
[[en:Automata theory]]
[[es:Teoría de autómatas]]
[[fa:نظریه اتوماتا]]
Satır 34 ⟶ 25:
[[he:תורת האוטומטים]]
[[hu:Absztrakt automata]]
[[mk:Теорија на автоматите]]
[[ja:オートマトン]]
[[no:Automatteori]]
[[nn:Automatteori]]
[[pl:Teoria automatów]]
[[pt:Teoria dedos Autômatosautômatos]]
[[ro:Teoria automatelor]]
[[ru:Теория автоматов]]
[[simple:Automaton]]
[[sk:Teória automatov]]
[[sr:Teorija automata]]
[[fi:Automaattiteoria]]
[[th:ทฤษฎีออโตมาตา]]
[[uk:Теорія автоматів]]
[[uk:Автоматів теорія]]
[[zh:自动机理论]]
"https://tr.wikipedia.org/wiki/Otomat_teorisi" sayfasından alınmıştır