Özdevinirler kuramı

Kuramsal bilgisayar biliminde özdevinirler kuramı (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,∑,δ,q₀,F⟩:

• Q sonlu durumların kümesi
• ∑ sonlu simgelerin kümesi
• δ transition fonksiyonudur: δ: Q × ∑ → Q.
• q₀ is the start state, that is, the state which the automaton is in when no input has been processed yet, where q₀∈ Q.
• F, Q'nun durumlarıdır (i.e. F⊆Q)