- Erciyes Üniversitesi Fen Bilimleri Enstitüsü Dergisi
- Vol: 27 Issue: 4
- Lamda algoritmasında kongruanslarının türetimi
Lamda algoritmasında kongruanslarının türetimi
Authors : Aytekin Eryilmaz, Lütfullah Albayrak
Pages : 292-295
View : 8 | Download : 4
Publication Date : 2011-08-01
Article Type : Other
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ı