Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Determining and Stationary Sets for Some Classes of Partial Recursive Functions

Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã

Autori: Cristian Calude and Gabriel Istrate

Editorial: Theoretical Computer Science, 82(1), p. 151-155, 1991.

Rezumat:

In analogy with the case of real functions we introduce and study the determining and stationary sets for some classes of unary p.r. functions, including the recursive and primitive recursive functions. As a by-product, a new characterization of Post simple sets is obtained.

Cuvinte cheie: determining/stationary sets, co-immune sets

URL: http://dx.doi.org/10.1016/0304-3975(91)90178-5