Biçimsel Diller ve Otomata Teorisi
Description:
Bu kursta Üniversitelerin "Biçimsel Diller Ve Otomata Teorisi" dersinden geçebilir hale geleceksiniz.
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)
Otomat teorisi 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 önemli bir rol oynamaktad?r.
Biçimsel dil kuram?, teorik bili?imin temel dallar?ndan biridir. Bir biçimsel dil, abece denilen belli bir küme ? üzerinde kurulan dizilerden olu?ur. Biçimsel dilleri tan?mlamak için ifadeler, gramerler ya da tan?mlanan dile ait olan dizileri kabul eden otomatlar kullan?l?r.
Özdevinim s?n?flar?
Deterministik sonlu özdevinim (Deterministic finite automata)
Deterministik olmayan sonlu özdevinim (Nondeterministic finite automata)
Deterministik olmayan sonlu özdevinim ?-geçi?li (Nondeterministic finite automata with ?-transitions
Y???tl? özdevinim (Pushdown automata)
Do?rusal s?n?rl? özdevinim (Linear bounded automata)
Turing makinesi
Süreli özdevinim (Timed automata)
Deterministik Büchi özdevinim (Deterministic Büchi automata)
Deterministik olmayan Büchi özdevinim (Nondeterministic Büchi automata)
Deterministik/Deterministik olmayan Rabin özdevinim (Nondeterministic / Deterministic Rabin automata)
Deterministik/Deterministik olmayan Streett özdevinim (Nondeterministic /Deterministic Streett automata)
Deterministik/Deterministik olmayan perite özdevinim (Nondeterministic/ Deterministic parity automata)
Deterministik/Deterministik olmayan Muller özdevinim (Nondeterministic / Deterministic Muller automata)