Real-time vector automata
Gerçek zamanlı vektör makineler
- Tez No: 338823
- Danışmanlar: PROF. DR. AHMET CELAL CEM SAY
- 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: 2013
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 45
Özet
Sonlu durum makinesi otomata teorisinin en çok incelenen modellerinden biri olmuştur. Standart modelin gücünün sınırlı olması araştırmacıları bu standart modelin üzerine farklı eklemeler yapmaya itmiştir. Sayaçlı makineler, çarpımlı sonlu durum makineleri, grup üzerinde tanımlı sonlu durum makineleri bu eklemelere örnektir. Bu tezde $ k $ boyutlu bir vektörle güçlendirilmiş ve her adımda bu vektörü uygun kxk matrislerle çarpmaya programlanmış gerçek zamanlı sonlu durum makineleri incelenmiştir. Bir adımda vektörün sadece tek bir girdisi 1'e eşit mi diye kontrol edilebilir. Makinelerin belirlenimci, belirlenimci olmayan, ``kör'' versiyonları tarafından tanınan diller incelenmiş ve birbirleriyle karşılaştırılmışlardır. Bu makineler ile, sayaçlı makinelerin ve genellenmiş sonlu durum makinelerin birbirleriyle yakından ilişkili olduğu ortaya çıkmıştır.
Özet (Çeviri)
Finite automaton has been one of the most studied models in automata theory. The limited power of the standard model has led researchers to make various extensions to the standard model. Counter automaton, automaton with multiplication, finite automaton over groups are some of the examples of such extensions. In this thesis, we study the computational power of real-time finite automaton that has been augmented with a vector of dimension $k$, and programmed to multiply this vector at each step by an appropriately selected kxk matrix. Only one entry of the vector can be tested for equality to 1 at any time. We study the classes of languages recognized by deterministic, nondeterministic, and ``blind'' versions of these machines and compare them with each other. It turns out that these machines are closely related to some of the classical models like counter automata and generalized finite automata.
Benzer Tezler
- Extended models of finite automata
Güçlendirilmiş sonlu durumlu makine modelleri
ÖZLEM SALEHİ KÖKEN
Doktora
İngilizce
2019
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolBoğaziçi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. AHMET CELAL CEM SAY
- Cellular automata based reservoir computing in sequence learning
Dizi öğrenmesinde hücresel otomat temelli rezervuar hesaplama
MRWAN A.H MARGEM
Doktora
İngilizce
2019
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAnkara Yıldırım Beyazıt ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ OSMAN SERDAR GEDİK
- 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
- Automatic defect detection in fabrics using computer vision techniques
Bilgisayarla görme teknikleriyle dokuma ürünlerinde otomatik hata tespiti
ABUBAKAR RABIU
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. KADİR AŞKIN PEKER
- Semi automatic true orthophoto production by using lidar data
Lıdar verisi kullanarak yarı otomatik gerçek ortofoto üretimi
ARİF GÜNAY
Yüksek Lisans
İngilizce
2007
Jeodezi ve Fotogrametriİstanbul Teknik ÜniversitesiJeodezi ve Fotogrametri Mühendisliği Ana Bilim Dalı
PROF.DR. M. ORHAN ALTAN