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.