Browsing by Author "Çevik, Ahmet"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Master Thesis
    Durum Değişikliği İşleci: Cebirsel ve Biçimsel Dil Kümesi Özellikleri
    (2009) Çevik, Ahmet; Oğuztüzün, Halit; Kılıç, Hürevren
    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.