Geri Dön

Weak reduction in Lambda calculus

Başlık çevirisi mevcut değil.

PDF İndir

  1. Tez No: 400680
  2. Yazar: NAİM ÇAĞMAN
  3. Danışmanlar: DR. J. R. HINDLEY
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 1996
  8. Dil: İngilizce
  9. Üniversite: Swansea University / Prifysgol Abertawe
  10. Enstitü: Prifysgol Abertawe
  11. Ana Bilim Dalı: Yurtdışı Enstitü
  12. Bilim Dalı: Matematik Ana Bilim Dalı
  13. Sayfa Sayısı: 69

Özet

Özet yok.

Özet (Çeviri)

In this thesis, in Chapter 1, we introduce the concept of A-terms, and describe an introduction to A-calculus and Xp-reduction. We go on to describe Xpn-reduction and both A.0 and Xpn-equality. In Chapter 2, we introduce combinatory logic terms. We describe an introduction to combinatory logic with weak reduction and strong reduction and their equality. And also, we compare the two systems, -I-calculus and combinatory logic. In Chapter 3, we introduce two transformations, the X-trans formation that transforms combinatory logic terms to A-terms and the H-transformation that transforms A-terms to combinatory logic terms. And also, we compare the two transformations. In Chapter 4, we set up a new weak A-reduction called wX-reduction, corresponding to combinatory weak reduction. We prove theorems giving its main properties and its exact relation to combinatory weak reduction. We look at wX-equality and prove similar results. And also we look at a new reduction obtained by combining wX-reduction with rule On,). We show that this reduction and its corresponding equality do not correspond to any of the usual known reductions or equalities. In Chapter 5, we prove the Church-Rosser theorem for wX- and wAfj-reduction.

Benzer Tezler

  1. Tez No

    419782

    Uyumlu salınıcının doğrusal ikikutup işlevli, ikinci derece erek ve yaptırım terimli eniyilemeli denetim denklemlerinin elde edilmesi ve çözülmesi

    Optimally controlled dynamics of one dimensional harmonic oscillator under linear dipole functions and quadratic objective and penalty terms

    BURCU TUNGA

    Yüksek Lisans

    Türkçe

    Türkçe

    2004

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    Hesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı

    PROF. DR. METİN DEMİRALP

  2. Tez No

    46166

    Kazıkların eksenel ve yatay yük taşıma kapasiteleri

    The bearing capacity of piles under axial and lateral loading

    NİLAY DURLANIK

    Yüksek Lisans

    Türkçe

    Türkçe

    1995

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    PROF. DR. AHMET SAĞLAMER

  3. Tez No

    83001

    Trace-level metals and natural organic matter interactions: Oxidative/adsorptive removal pathways

    Eser element ve doğal organik madde etkileşimleri: Oksidayon/adsorbsiyon giderim yöntemleri

    CEYDA SENEM UYGUNER

    Yüksek Lisans

    İngilizce

    İngilizce

    1999

    Çevre MühendisliğiBoğaziçi Üniversitesi

    Çevre Bilimleri Ana Bilim Dalı

    PROF.DR. MİRAY BEKBÖLET

  4. Tez No

    172317

    Partial purification and characterization of arylamine N-acetyltransferases from human breast tumor tissues

    İnsan meme tümörü dokularından arilamin N-asetiltransferazlar'ın kısmi saflaştırılması ve karakterizasyonu

    YAŞASIN SENEM SU

    Doktora

    İngilizce

    İngilizce

    2006

    BiyokimyaOrta Doğu Teknik Üniversitesi

    PROF.DR. TÜLİN GÜRAY

  5. Tez No

    401543

    Weak state and its evaluation for routing in large scale dynamic networks

    Başlık çevirisi yok

    UTKU GÜNAY ACER

    Doktora

    İngilizce

    İngilizce

    2009

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolRensselaer Polytechnic Institute

    PROF. ALHUSSEIN A. ABOUZEID

    PROF. SHIVKUMAR KALYANARAMAN

Geri Dön