Grzegorczyk Hierarchy - Relation To Primitive Recursive Functions

Relation To Primitive Recursive Functions

The definition of is the same as that of the primitive recursive functions, RP, except that recursion is limited ( for some j in ) and the functions are explicitly included in . Thus the Grzegorczyk hierarchy can be seen as a way to limit the power of primitive recursion to different levels.

It is clear from this fact that all functions in any level of the Grzegorczyk hierarchy are primitive recursive functions (i.e. ) and thus:

It can also be shown that all primitive recursive functions are in some level of the hierarchy (Rose 1984; Gakwaya 1997), thus

and the sets partition the set of primitive recursive functions, RP.

Read more about this topic:  Grzegorczyk Hierarchy

Famous quotes containing the words relation to, relation, primitive and/or functions:

    The psychoanalysis of individual human beings, however, teaches us with quite special insistence that the god of each of them is formed in the likeness of his father, that his personal relation to God depends on his relation to his father in the flesh and oscillates and changes along with that relation, and that at bottom God is nothing other than an exalted father.
    Sigmund Freud (1856–1939)

    A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.
    Lionel Trilling (1905–1975)

    The primitive wood is always and everywhere damp and mossy, so that I traveled constantly with the impression that I was in a swamp; and only when it was remarked that this or that tract, judging from the quality of the timber on it, would make a profitable clearing, was I reminded, that if the sun were let in it would make a dry field, like the few I had seen, at once.
    Henry David Thoreau (1817–1862)

    The English masses are lovable: they are kind, decent, tolerant, practical and not stupid. The tragedy is that there are too many of them, and that they are aimless, having outgrown the servile functions for which they were encouraged to multiply. One day these huge crowds will have to seize power because there will be nothing else for them to do, and yet they neither demand power nor are ready to make use of it; they will learn only to be bored in a new way.
    Cyril Connolly (1903–1974)