The LOOP Hierarchy
Chapters 12 and 13 concern succinctness results for certain clocked programming systems for members of two subrecursive hierarchies, the LOOP hierarchy (Definition 5.1), and the Poly-Degree hierarchy (Definition 3.3(c)). This chapter establishes some basic facts about the members of the LOOP hierarchy and certain clocked programming systems for the members of that hierarchy. The next chapter similarly treats the Poly-Degree hierarchy.
Unable to display preview. Download preview PDF.