Otomat teorisi
 | Bu madde veya bölüm Özdevinim kuramı adlı maddeye çok benzemektedir ve bu iki maddenin tek başlık altında birleştirilmesi önerilmektedir. Birleştirme işlemi yapıldıktan sonra sayfaya {{Geçmiş birleştir}} şablonunu ekleyiniz. |
Kuramsal bilgisayar biliminde özdevinirler kuramı[1] (veya bazen Otomatlar kuramı olarak da geçer.) soyut makinelerin 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.
Otomat
- 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 is the start state, that is, the state which the automaton is in when no input has been processed yet, where q0∈ Q.
- F, Q'nun durumlarıdır (i.e. F⊆Q)
Ayrıca bakınız
Kaynakça
 | Bilgisayar ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |