Rekurencyjnie wymierny zestaw
W teorii rachunkowości, tradycyjnie nazywanej teorią rekursji, zbioru S liczb naturalnych nazywa się rekurencyjnie wymiernym, obliczalnym liczbowo, semidecyfowalnym, udowadniającym się lub rozpoznawalnym przez Turinga, jeśli: ▪ istnieje algorytm taki, że zestaw liczb wejściowych, dla których algorytm zatrzymuje się dokładnie S. Lub, równoważnie, ▪ istnieje algorytm, który wylicza elementy S. Oznacza to, że jego wyjście jest po prostu listą członków S: s1, s2, s3, .... Jeśli to konieczne, ten algorytm może uciekaj na zawsze. Pierwszy warunek sugeruje, że czasami używany jest semidecidable; druga sugeruje, dlaczego jest to wymierne wymierne. Skróty r.e. i c.e. są często używane, nawet w druku, zamiast pełnego wyrażenia. W teorii złożoności obliczeniowej klasa złożoności zawierająca wszystkie rekurencyjnie wymierne zestawy to RE. W teorii rekursji, siatka r.e. zestawy włączone są oznaczone.