๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the structure of one-tape nondeterministic turing machine time hierarchy

โœ Scribed by Kojiro Kobayashi


Publisher
Elsevier Science
Year
1985
Tongue
English
Weight
983 KB
Volume
40
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On the Structural Properties of the Set
โœ Tsong Yueh Chen ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 305 KB

In this paper, we investigate the structural properties of the set of fixpoints for the class of nondeterministic recursive definitions. Our study reveals close resemblance between the structural properties of the set of fixpoints and those of the set of prefixpoints, and it establishes some equalit