Otomat teorisi: Revizyonlar arasındaki fark

[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
İçerik silindi İçerik eklendi
Pinar (mesaj | katkılar)
kDeğişiklik özeti yok
Pinar (mesaj | katkılar)
ek
2. satır:
'''Ö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.
 
Özdevinimler [[hesaplama kuramı]], [[derleyici]] tasarımı ve [[çözümleme]]de (''parsing'') önemli bir rol oynamaktadır.
 
== Özdevinim sınıfları ==
*[[Deterministik sonlu özdevinir]] (''Deterministic finite automata'')
*[[Deterministik olmayan sonlu özdevinir]] (''Nondeterministic finite automata'')
*Deterministik olmayan sonlu özdevinir ε-geçişli (''Nondeterministic finite automata with ε-transitions''
*[[Yığıtlı özdevinir]] (''Pushdown automata'')
*[[Doğrusal sınırlı özdevinir]] (''Linear bounded automata'')
*[[Turing makinesi]]
*[[Zamanlı özdevinir]] (''Timed automata'')
*[[Deterministik Büchi özdevinir]] (''Deterministic Büchi automata'')
*[[Deterministik olmayan Büchi özdevinir]] (''Nondeterministic Büchi automata'')
*[[Rabin özdevinir|Deterministik/Deterministik olmayan Rabin özdevinir]] (''Nondeterministic/Deterministic Rabin automata'')
*[[Streett özdevinir|Deterministik/Deterministik olmayan Streett özdevinir]] (''Nondeterministic/Deterministic Streett automata'')
*[[Parite özdevinir|Deterministik/Deterministik olmayan perite özdevinir]] (''Nondeterministic/Deterministic parity automata'')
*[[Muller özdevinir|Deterministik/Deterministik olmayan Muller özdevinir]] (''Nondeterministic/Deterministic Muller automata'')
 
== Ayrıca bakınız ==
*[[Biçimsel dil kuramı]]
*[[Sonlu durum makinası]]
*[[Turing makinesi]]
 
{{bilgisayar bilimi}}
"https://tr.wikipedia.org/wiki/Otomat_teorisi" sayfasından alınmıştır