Finite automata for variable assignment languages and their algorithmic inference
Değişken atama dillerine özgü sonlu durum devingenleri ve bunların algoritmik çıkarsanması
- Tez No: 830661
- Danışmanlar: PROF. DR. MEHMET HALİT SEYFULLAH OĞUZTÜZÜN
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2023
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 66
Ö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.
Özet (Çeviri)
inite automata for variable assignment languages (FA-VA), a subclass of deterministic finite automata, are defined. Properties of FA-VAs are analyzed. An active learning algorithm that infers FA-VA-based models of interactive constraint-based systems is devised. Advantages and limitations of the proposed representation method and the algorithm are discussed.
Benzer Tezler
- Application of finite state automation theory to variable-length codes under constraints
Sonlu durumlu makinalar kuramının değişken uzunluklu kısıtlamalı kodlara uygulanması
İ.MURAT SARPEL
Yüksek Lisans
İngilizce
1993
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik ve Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNEY GÖNENÇ
- Karma sistemlerin tümleyen değişkenli modelleri
Complementarity modeling of hybrid system
SELİM TÜRKYILMAZ
Yüksek Lisans
Türkçe
1999
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. KÜLMİZ ÇEVİK
- Hafızalı hücresel otomat sayısal tasarımı
Digital design of cellular automata with memory
EMRE GÖNCÜ
Yüksek Lisans
Türkçe
2013
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. MÜŞTAK ERHAN YALÇIN
- Takviyeli panel yapıların burkulma ve burkulma sonrası davranışının yapay sinir ağları ile optimizasyonu
Optimization of buckling and post-buckling behavior of reinforced panel structures using artificial neural networks
ERTUĞRUL ÇAKIR
Yüksek Lisans
Türkçe
2024
Uçak Mühendisliğiİstanbul Teknik ÜniversitesiUçak ve Uzay Mühendisliği Ana Bilim Dalı
PROF. DR. ZAHİT MECİTOĞLU
- Çimento endüstrisinde harmanlama prosesinin öz uyarlamalı kontrolü
Başlık çevirisi yok
ŞERMİN KARAHASANOĞLU