Özdevinirler kuramı
Bu madde veya bölüm Özdevinim kuramı maddesine ç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
- Bilgisayar mühendisliği
- Hesaplanabilirlik
- Soyut makine
Kaynakça
This article is issued from Vikipedi - version of the 9/24/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.