Lamda algoritmasında kongruanslarının türetimi

Authors : Aytekin ERYILMAZ, Lütfullah ALBAYRAK

Pages : 292-295

View : 17 | Download : 11

Publication Date : 2011-08-01

Article Type : Other Papers

Abstract :Lamda Kalkülüs 1930’larda mantık bilimcisi Alanzo Church tarafından temelleri kurulan, bir fonksiyon notasyonuna bağlı, çeşitli sistemlerin bir kümesidir (Hindley ve Seldin, 1986). Bilgisayar bilimlerinde Lamda Kalkülüs’ün açık ve sistematik kullanımı Peter Landin, Christopher Strachey ve Lamda Kalkülüs üzerine kurulmuş programlama dillerinin teorik anlatımını geliştiren diğer bilim insanları tarafından başlatılmıştır (Revesz, 1988). λ-algoritmasının alfabesi, yazılım yapısı Church (1965), Kleene (1936), Barendregt (1984), Bakker(1975), Byrkıt (1970), Krivine (1993), Levy (1975) tarafından ortaya konuldu. Daha sonraları Ünlü (1976), Mirasyedioğlu (1982, 1987) ve Albayrak (1982,1985,1986,1989,1993) tarafından çalışıldı. Bu çalışmada; teorik λ-algoritması adı altında bir formal sistem geliştirilmiştir. Sistemin önemli öğeleri: bağıntılar, fonksiyonlar ve operatörlerdir. λ-algoritması yazılım yapısı, türetim teknikleri ve λ-kongruansının tanımı verildi. λ-algoritması kuralları içinde λ-kongruansları türetildi.
Keywords : Lamda Kalkülüs, λ algoritması, λ kongruansları