3
İki hesaplama modelinin eşdeğer olduğunu nasıl gösteririm?
Biri iki hesaplama modelinin eşdeğer olduğunu nasıl kanıtlayabileceğine dair açıklama arıyorum. Bu konuda denklik kanıtı çıkarılmaması dışında kitap okuyorum. İki hesaplama modelinin eşdeğer olmasının ne anlama geldiğine dair temel bir fikrim var (otomata görünümü: aynı dilleri kabul ederse). Eşdeğerliği düşünmenin başka yolları var mı? Turing-makine modelinin lambda hesabına eşdeğer olduğunu …