Biçimsel Diller ve Otomata Teorisi

Bu kursta Üniversitelerin “Biçimsel Diller Ve Otomata Teorisi” dersinden geçebilir hale geleceksiniz.

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)

Otomat teorisi 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 önemli bir rol oynamaktadır.

Biçimsel dil kuramı, teorik bilişimin temel dallarından biridir. Bir biçimsel dil, abece denilen belli bir küme Σ üzerinde kurulan dizilerden oluşur. Biçimsel dilleri tanımlamak için ifadeler, gramerler ya da tanımlanan dile ait olan dizileri kabul eden otomatlar kullanılır.

Özdevinim sınıfları

• • Deterministik sonlu özdevinim (Deterministic finite automata)
  • Deterministik olmayan sonlu özdevinim (Nondeterministic finite automata)
  • Deterministik olmayan sonlu özdevinim ε-geçişli (Nondeterministic finite automata with ε-transitions
  • Yığıtlı özdevinim (Pushdown automata)
  • Doğrusal sınırlı özdevinim (Linear bounded automata)
  • Turing makinesi
  • Süreli özdevinim (Timed automata)
  • Deterministik Büchi özdevinim (Deterministic Büchi automata)
  • Deterministik olmayan Büchi özdevinim (Nondeterministic Büchi automata)

• • Deterministik/Deterministik olmayan Rabin özdevinim (Nondeterministic / Deterministic Rabin automata)

• Deterministik/Deterministik olmayan Streett özdevinim (Nondeterministic /Deterministic Streett automata)
• Deterministik/Deterministik olmayan perite özdevinim (Nondeterministic/ Deterministic parity automata)
• Deterministik/Deterministik olmayan Muller özdevinim (Nondeterministic  / Deterministic Muller automata)