Bir algoritma, verilen bir önermenin doğruluğunu sonlu sayıda adımda kontrol edebiliyorsa, bu algoritma için aşağıdakilerden hangisi söylenebilir?
