Değişken atama dillerine özgü sonlu durum devingenleri ve bunların algoritmik çıkarsanması

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Bilimleri Enstitüsü, BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI, Türkiye

Tezin Onay Tarihi: 2023

Tezin Dili: İngilizce

Öğrenci: ATAKAN GARİPLER

Danışman: MEHMET HALİT S. OĞUZTÜZÜN

Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu

Özet:

Sonlu durum devingenlerinin bir alt sınıfı olan değişken atama dillerine özgü sonlu durum devingenleri tanımlanmıştır. Bu devingenlerin özellikleri incelenmiştir. Koşul temelli sistemlerin değişken atama dillerine özgü sonlu durum devingeni temelli modellerini çıkarsayan bir aktif devingen öğrenme algoritması geliştirilmiştir. Önerilen temsil metodu ve algoritmanın avantajları ve kısıtları tartışılmıştır.