Turing Makinesi ile Lambda Kalkülüsü
Matematik
Aritmetik
Çok Önemli
Özet
Bant üzerinde adım adım işlem yapan, mekanik hesaplama modelidir. İLE İşlevleri, işlev uygulama ve soyutlamayla tanımlayan hesaplama modelidir. İkisi eşdeğer güçtedir; biri makine, öteki işlev temellidir.
Ayrıntılı Açıklama
Alan Turing tarafından 1936 yılında keşfedildi/formüle edildi. (1912-1954) (Ülke: İngiltere) (Alan: Matematik, Bilgisayar) (Önemli katkıları: Turing makinesi, yapay zeka)