State change operator: Algebraic and language class properties
Durum değişikliği işleci: Cebirsel ve biçimsel dil kümesi özellikleri
- Tez No: 245839
- Danışmanlar: DOÇ. DR. HALİT OĞUZTÜZÜN, YRD. DOÇ. DR. HÜREVREN KILIÇ
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Matematik, Computer Engineering and Computer Science and Control, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2009
- Dil: İngilizce
- Üniversite: Atılım Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Bölümü
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezde soyut hesaplama modellerinin soyut güç tüketimi özelliklerinden esinlenerek düzgün dillerin yeni bir alt kümesi tanımlanmıştır. Bu yeni kümeye durum değişikliği dili adı verilmiştir. Bunun için, tanım kümesi sonlu özdevinir ve erim kümesi durum özdevinir olan birli işleç tanımlanmıştır. Bahsedilen yeni kümenin birleşme ve kesişme özellikleri altında kapalı olduğu, tümleme özelliği altında ise kapalı olmadığı kanıtlanmıştır. Kümenin karar verilebilirliği hakkında tartışılmıştır. Ayrıca soyut güç tüketimi kavramı formal olarak tanımlanmış, ve son bölümde bu kavram durum değişikliği dillerinin sağlanabilirliği ile beraber belitleştirilmiştir. Son olarak, belirli algoritmalar için düzenli olarak tanımlanmış soyut hesaplama modellerinin güç tüketimininin alt limitinin belirlenmesindeki evrensel bir işlecin varlığının önemi vurgulanmıştır.
Özet (Çeviri)
A new proper subset of regular languages, inspired from abstract power consumption attribute of computational devices, is introduced in this thesis. This new subset is called state change languages. For our purpose, we define a unary operator whose domain is finite automata and range is state automata. We have proven that the new class is closed under union and intersection, but not under complementation. The decidability of this set is also discussed. Then, the notion of abstract power consumption is given and this notion ,along with the satisfiability of state change languages, is axiomatized in the last section. Finally, the importance of the existence of a universal operator that shows the abstract power consumption characteristic of well defined abstract models of computation to determine the limits of their enegry consumption for particular algorithms, is pointed out.
Benzer Tezler
- İzmir'de bazı yolların kapatılarak yaya bölgeleri oluşturma da kent peyzajını geliştirme açısından yeniden planlanması üzerinde araştırmalar
Başlık çevirisi yok
BAHAR TÜRKYILMAZ
Yüksek Lisans
Türkçe
1985
Şehircilik ve Bölge PlanlamaEge ÜniversitesiŞehir ve Bölge Planlama Ana Bilim Dalı
- Devlet Denetleme Kurulu
Başlık çevirisi yok
RIZA YURDDAŞ
Yüksek Lisans
Türkçe
1987
Kamu YönetimiGazi ÜniversitesiKamu Yönetimi Ana Bilim Dalı
DOÇ. DR. SÜLEYMAN ARSLAN
- Dokuma kumaşlarda örgü tipinin ham kumaşın boyutları ve geometrik özellikleri üzerindeki etkilerinin araştırılması
Başlık çevirisi yok
EMEL ÖNDER
Yüksek Lisans
Türkçe
1985
Tekstil ve Tekstil MühendisliğiEge ÜniversitesiTekstil Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNGÖR BAŞER
- İsmayıl Hakkı Baltacıoğlu'nun kültür ve eğitim kavramı üzerine bir inceleme
An Examination of the concepts of culture and education of Ismayıl Hakkı Baltacıoğlu
ABDULLAH DİKİCİ
Doktora
Türkçe
1986
Eğitim ve ÖğretimUludağ ÜniversitesiEğitim Bilimleri Ana Bilim Dalı
DOÇ. DR. SUAT ANAR
- Değişik derim zamanı ve önsoğutmanın Bursa siyahı incir çeşidinin meyve kalitesi ve pazarlama süresi üzerine etkileri
Effects of haruest time and precooling on fruit quality and shelf-life of the fig variety“Bursa siyahı”
FÜSUN GÜRSEL ÇELİKEL