A-algoritmasında kongruasların türetimi

Abstract

Â,-Algoritması yazılım yapısı, türetinı teknikleri bakımından Church [13], Kleene[15], Barendregt[10], Krivine[16], Levy[17], Hindley and Seldin [14], Ünlü[21], Mirasyedioğlu[18,19], Albayrak[2,3,4,5,6] vb. tarafından çalışıldı. Albayrak[2] A,-Algoritmasında Cebirsel Yapılar üzerinde çalıştı. Bu tezde, (i) EBK ve ^-terimleri aracılığında önceden verilen A,-kültüıü, (3-redeksinin indirgemesi kavramlarına dayalı olarak, A,-konguansının tanımı verildi, (ii) Albayrak [2, 3, 4, 5, 6] 'da verilen T; (i = 1, 2,..., 17) operatörlerine dayalı T18 operatörü türetildi, (iii) A-Algoritması kuralları içinde T; (i=l,2,...,18) operatörleri ile Â,-kongruansları türetildi, (iv) Lineer Â.-kongruanslarının tanımı ve türetimi yapıldı. Sonuçta, geliştirilen bilgilerin uygulamada kullanılmasına ilişkin bazı öneriler verildi.

The software structure of A,-Algorithm has been studied from the point of derivational technigues by Church[13], Kleene[15], Barendregt [I0J, Krivine[16], Levy[I7], Hindley and Seldin[14], Ünlü[21], Mirasyedioğlu[l8. 19], Albayrak[2, 3, 4, 5, 6], etc. Albayrak[2J, while studying A.- Algorithm, expanded upon algebraic structures. In this thesis, (i) the definition of ^-congruence was given and on the basis of A,-culture, the reduction of p-redex which were given by EBK and X- tenns. (ii) T]8 operator was derivated on the basis of T; (i = 1, 2 17) operators given in Albayrak [2,3, 4,5,6]. (iii) X- congruences were derivated by Tj (i = 1,2,..., 18) operators in the rules of A.-Algorithm. (iv) The definition and derivation ofLineer X- congruences were made. In conclusion, some suggestions have been made regarding the application of developed knowledge.