Ö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.
Otomat örneği

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

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.