İçeriğe atla

Otomat teorisi: Revizyonlar arasındaki fark

Vikipedi, özgür ansiklopedi
Etkileşimli olarak geçmişe göz at
[kontrol edilmiş revizyon][kontrol edilmiş revizyon]
← Önceki sürümle aradaki farkSonraki sürümle aradaki fark →
İçerik silindi İçerik eklendi
GörselVikimetin
Sae1962 (mesaj | katkılar)
Devriyeler
9.865 değişiklik
Küçük düzeltmeler yapıldı.
Etiketler: Mobil değişiklik Mobil ağ değişikliği
+
1. satır: 1. satır:
[[Dosya:DFAexample.svg|thumb|right|Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.]]
[[Dosya:DFAexample.svg|thumb|right|Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.]]
'''Otomat teorisi''' ('''özdevinim kuramı''' ya da '''otomata teorisi''', [[teorik bilgisayar bilimi]]nde [[soyut makine]]leri (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]] {{dil|grc|αὐτόματα}} kelimesi olup "kendi kendine hareket eden" demektir.
'''Otomat teorisi''' ('''özdevinim kuramı''' ya da '''otomata teorisi''', [[teorik bilgisayar bilimi]]nde [[soyut makine]]leri (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]] "{{dil|grc|αὐτόματα}}" kelimesi olup "kendi kendine hareket eden" demektir.


Otomatlar [[hesaplama teorisi]], [[derleyici]] tasarımı ve [[çözümleme]]de (''{{dil|en|parsing}}'') önemli bir rol oynamaktadır.
[[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 [[Parsing|çözümlemede]] (''{{dil|en|parsing}}'') önemli bir rol oynamaktadır.

⚫
== Otomat ==
Bir otomat 5 elemanlı bir demet ile tanımlanır '''⟨Q,∑,δ,q<sub>0</sub>,F⟩''':
*Q sonlu durumların kümesi
*∑ sonlu simgelerin kümesi
*δ transition fonksiyonudur: δ:&nbsp;Q&nbsp;×&nbsp;∑&nbsp;→&nbsp;Q
*q<sub>0</sub>, ''başlangıç durumu'' (q<sub>0</sub> ∈ Q koşuluyla)
*F, Q'nun durumlarıdır (F ⊆ Q)


== Özdevinim sınıfları ==
== Özdevinim sınıfları ==
20. satır: 30. satır:


== Ayrıca bakınız ==
== Ayrıca bakınız ==
*[[Biçimsel dil kuramı]]
*[[Sonlu durum makinesi]]
*[[Sonlu durum makinası]]
⚫
*[[Otomat]]


{{bilgisayar bilimi}}
{{bilgisayar bilimi}}

Sayfanın 19.01, 6 Ekim 2017 tarihindeki hâli

Bir otomat örneği. Otomat teorisinde, bu gibi otomatların matematiksel özellikleri incelenir.

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.

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 çözümlemede (İ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ı

Ayrıca bakınız

"https://tr.wikipedia.org/w/index.php?title=Otomat_teorisi&oldid=19175688" sayfasından alınmıştır