Turing Makinesi ile Lambda Kalkülüsü
Matematik
Aritmetik
Çok Önemli
Özet
Turing makinesi mekanik hesaplama modeli İLE lambda kalkülüsü fonksiyonel hesaplama modelidir. İki model eşdeğer hesaplama gücü İLE farklı yaklaşımlar sunar. Turing mekanik İLE Church fonksiyonel düşünür.