Tekrar tekrar numaralandırılabilir küme
Hesaplanabilirlik teorisinde, geleneksel olarak özyineleme teorisi olarak adlandırılan doğal sayılardan oluşan S'ye aşağıdaki durumlarda özyinelemeli olarak numaralandırılabilir, hesaplanabilir şekilde numaralandırılabilir, yarı-kesin, doğrulanabilir veya Turing tarafından tanınabilir denir: ▪ Algoritmanın durdurduğu giriş sayıları setinin tam olarak S. veya eş değer olarak ▪ S üyelerini numaralandıran bir algoritma var. Bu, çıktısının sadece S: s1, s2, s3, .... elemanlarının bir listesi olduğu anlamına gelir. Gerekirse, bu algoritma sonsuza kadar koş İlk koşul, yarı-anlaşılabilir terimin neden bazen kullanıldığını gösteriyor; ikincisi, hesaplanabilir sayılabilir neden kullanıldığını önermektedir. Kısaltmalar r.e. ve c.e. genellikle tam ifade yerine, yazılı olarak bile kullanılır. Hesaplamalı karmaşıklık teorisinde, tüm tekrar tekrar numaralandırılabilir kümeleri içeren karmaşıklık sınıfı RE'dir. Yineleme teorisinde, r.e.'nin kafesi Ekleme altındaki setler belirtilir.