Otomat teorisi (özdevinim kuramı ya da otomata teorisi), teorik bilgisayar biliminde soyut makineleri (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 "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.
![image](https://www.wikipedia.tr-tr.nina.az/image/aHR0cHM6Ly93d3cud2lraXBlZGlhLnRyLXRyLm5pbmEuYXovaW1hZ2UvYUhSMGNITTZMeTkxY0d4dllXUXVkMmxyYVcxbFpHbGhMbTl5Wnk5M2FXdHBjR1ZrYVdFdlkyOXRiVzl1Y3k5MGFIVnRZaTg1THpsa0wwUkdRV1Y0WVcxd2JHVXVjM1puTHpJeU1IQjRMVVJHUVdWNFlXMXdiR1V1YzNabkxuQnVadz09LnBuZw==.png)
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 (İngilizce: parsing) önemli bir rol oynamaktadır.
Otomat
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)
Özdevinim sınıfları
- Deterministik sonlu özdevinim (Deterministic finite automata)
- (Nondeterministic finite automata)
- Deterministik olmayan sonlu özdevinim ε-geçişli (Nondeterministic finite automata with ε-transitions
- (Pushdown automata)
- (Linear bounded automata)
- Turing makinesi
- (Timed automata)
- (Deterministic Büchi automata)
- (Nondeterministic Büchi automata)
- (Nondeterministic/Deterministic Rabin automata)
- (Nondeterministic/Deterministic Streett automata)
- (Nondeterministic/Deterministic parity automata)
- (Nondeterministic/Deterministic Muller automata)
Ayrıca bakınız
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Otomat teorisi ozdevinim kurami ya da otomata teorisi teorik bilgisayar biliminde soyut makineleri ya da daha uygun bir deyimle soyut matematiksel makineleri veya sistemleri ve bu makineleri kullanarak hesaplama problemlerinin cozulebilmesini arastiran daldir Bu soyut makinelere otomat denir Otomat kelimesinin kokeni Yunanca Grekce aὐtomata kelimesi olup kendi kendine hareket eden demektir Bir otomat ornegi Otomat teorisinde bu gibi otomatlarin matematiksel ozellikleri incelenir Bicimsel dil kurami ile yakindan ilgilidir Ozdevinirler derleyici tasarimi ve ayristirmasinda onemli rol oynar Otomatlar hesaplama teorisi derleyici tasarimi ve Ingilizce parsing onemli bir rol oynamaktadir OtomatBir otomat 5 elemanli bir demet ile tanimlanir Q d q0 F Q sonlu durumlarin kumesi sonlu simgelerin kumesi d transition fonksiyonudur d Q Q q0 baslangic durumu q0 Q kosuluyla F Q nun durumlaridir F Q Ozdevinim siniflariDeterministik sonlu ozdevinim Deterministic finite automata Nondeterministic finite automata Deterministik olmayan sonlu ozdevinim e gecisli Nondeterministic finite automata with e transitions Pushdown automata Linear bounded automata Turing makinesi Timed automata Deterministic Buchi automata Nondeterministic Buchi automata Nondeterministic Deterministic Rabin automata Nondeterministic Deterministic Streett automata Nondeterministic Deterministic parity automata Nondeterministic Deterministic Muller automata Ayrica bakinizSonlu durum makinesi