Teorie vyčíslitelnosti: Porovnání verzí