Abstract
Characterizations of classes of languages accepted by space-bounded oracle machines are developed. These characterizations are given in terms of the regular sets, certain information about the oracle set, and certain algebraic closure operations.
Similar content being viewed by others
References
Baker, T., Gill, J., Solovay, R.: Relativizations of P=? NP question. SIAM J. Computing 4, 431–442 (1975)
Book, R.: On languages accepted in polynomial time. SIAM J. Computing 1, 281–287 (1972)
Book, R.: Simple representations of certain classes of languages. J.Assoc. Computing Mach. 25, 23–31 (1978)
Book, R.: Polynomial space and transitive closure. SIAM J. Computing, 8, in press (1979)
Book, R., Nivat, M.: Linear languages and the intersection closures of classes of languages. SIAM J. Computing 7, 167–177 (1978)
Book, R., Wrathall, C.: On languages specified by relative acceptance. Theoret. Comput. Sci. 7, 185–195 (1978)
Jones, N.: Formal Languages and Rudimentary Attributes, Ph.D. dissertation. University of Western Ontario, London, Ont., 1967
Jones, N.: Classes of automata and transitive closure. Info. Control 13, 207–229 (1968)
McKloskey, T.: Abstract families of length-preserving processors. J. Comput. Systm Sci. 10, 394–427 (1975)
Simon, I.: On Some Subrecursive Reducibilities, Ph.D. dissertation. Stanford University, Stanford, Ca. 1977
Simon, I., Gill, J.: Polynomial reducibilities and upwards diagonalizations. Proc. 9th ACM Symp. Theory of Computing 186–194 (1977)
Wrathall, C.: Rudimentary predicates and relative computation. SIAM J. Computing 7, 194–209 (1978)
Book, R.: Time, space, and relativizations, in preparation.
Author information
Authors and Affiliations
Additional information
This research was supported in part by the National Science Foundation under Grant MCS77-11360
Rights and permissions
About this article
Cite this article
Book, R.V. On languages accepted by space-bounded oracle machines. Acta Informatica 12, 177–185 (1979). https://doi.org/10.1007/BF00266049
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00266049