Durum Değişikliği İşleci: Cebirsel ve Biçimsel Dil Kümesi Özellikleri

dc.contributor.advisor Oğuztüzün, Halit
dc.contributor.advisor Kılıç, Hürevren
dc.contributor.author Çevik, Ahmet
dc.date.accessioned 2024-07-08T09:40:52Z
dc.date.available 2024-07-08T09:40:52Z
dc.date.issued 2009
dc.department Fen Bilimleri Enstitüsü / Bilgisayar Mühendisliği Bölümü
dc.description.abstract 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.
dc.description.abstract 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. en
dc.identifier.endpage 64
dc.identifier.startpage 0
dc.identifier.uri https://hdl.handle.net/20.500.14411/5806
dc.identifier.yoktezid 245839
dc.language.iso en
dc.subject Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol
dc.subject Computer Engineering and Computer Science and Control en_US
dc.subject Matematik
dc.subject Mathematics en_US
dc.title Durum Değişikliği İşleci: Cebirsel ve Biçimsel Dil Kümesi Özellikleri
dc.title State Change Operator: Algebraic and Language Class Properties en_US
dc.type Master Thesis
dspace.entity.type Publication

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
245839 State change operator.pdf
Size:
310.7 KB
Format:
Adobe Portable Document Format

Collections