Abstract
The closure of deterministic context-free (dcf) languages under logarithmic-space many-one reductions (\(\mathrm {L}\)-m-reductions), known as LOGDCFL, has been studied in depth from an aspect of parallel computability because it is nicely situated between \(\mathrm {L}\) and \(\mathrm {AC}^{ 1 }\cap \mathrm {SC}^2\). By changing a memory device from pushdown stacks to access-controlled storage tapes, we introduce a computational model of deterministic depth-k storage automata (k-sda’s) whose tape cells are freely modified during the first k accesses and then erased and frozen forever. These k-sda’s naturally induce the language family \(k\mathrm {SDA}\). Similarly to \(\mathrm {LOGDCFL}\), we study the closure \(\mathrm {LOG}k\mathrm {SDA}\) of all languages in \(k\mathrm {SDA}\) under \(\mathrm {L}\)-m-reductions. We demonstrate that \(\mathrm {DCFL}\subseteq k\mathrm {SDA}\subseteq \mathrm {SC}^k\) by significantly extending Cook’s early result (1979) of \(\mathrm {DCFL}\subseteq \mathrm {SC}^2\). The entire hierarchy of \(\mathrm {LOG}k\mathrm {SDA}\) for all \(k\ge 1\) therefore lies between \(\mathrm {LOGDCFL}\) and \(\mathrm {SC}\). As an immediate consequence, we obtain the same simulation bounds for Hibbard’s limited automata. We characterize \(\mathrm {LOG}k\mathrm {SDA}\) in terms of a new machine model, called logarithmic-space deterministic auxiliary depth-k storage automata that run in polynomial time. These machine are also shown to be as powerful as a polynomial-time two-way multi-head deterministic depth-k storage automata.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A read-only tape is called read once if, whenever it reads a tape symbol (except for \(\varepsilon \)-moves), it must move to the next unread cell.
- 2.
This claim comes from the fact that Hibbard’s rewriting systems satisfy the so-called blank-skipping property [13], by which each tape cell becomes blank after the k accesses and inner states cannot be changed while reading any blank symbol.
References
von Braunmühl, B., Cook, S., Mehlhorn, K., Verbeek, R.: The recognition of determinsitic CFLs in small time and space. Inf. Control 56, 34–51 (1983)
Cook, S.A.: Characterizations of pushdown machines in terms of time-bounded computers. J. ACM 18, 4–18 (1971)
Cook, S.A.: Determinsitic CFLs are accepted simultaneously in polynomial time and log squared space. In: Proceedings of STOC 1979, pp. 338–345 (1979)
Galil, Z.: Some open problems in the theory of computation as questions about two-way determinsitic pushdown automaton languages. Math. Syst. Theory 10, 211–228 (1977)
Ginsburg, S., Greibach, S.: Deterministic context free languages. Inf. Control 9, 620–648 (1966)
Ginsburg, S., Greibach, S.A., Harrison, M.A.: One-way stack automata. J. ACM 14, 389–418 (1967)
Ginsburg, S., Greibach, S.A., Harrison, M.A.: Stack automata and compiling. J. ACM 14, 172–201 (1967)
Hartmanis, J.: On non-determinacy in simple computing devices. Acta Inf. 1, 336–344 (1972)
Hibbard, T.N.: A generalization of context-free determinism. Inf. Control 11, 196–238 (1967)
Pighizzini, G., Pisoni, A.: Limited automata and regular languages. Int. J. Found. Comput. Sci. 25, 897–916 (2014)
Pighizzini, G., Pisoni, A.: Limited automata and context-free languages. Fund. Inf. 136, 157–176 (2015)
Sudborough, I.H.: On the tape complexity of deterministic context-free languages. J. ACM 25, 405–414 (1978)
Yamakami, T.: Behavioral strengths and weaknesses of various models of limited automata. In: Catania, B., Královič, R., Nawrocki, J., Pighizzini, G. (eds.) SOFSEM 2019. LNCS, vol. 11376, pp. 519–530. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-10801-4_40
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Yamakami, T. (2021). Between SC and LOGDCFL: Families of Languages Accepted by Polynomial-Time Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata. In: Chen, CY., Hon, WK., Hung, LJ., Lee, CW. (eds) Computing and Combinatorics. COCOON 2021. Lecture Notes in Computer Science(), vol 13025. Springer, Cham. https://doi.org/10.1007/978-3-030-89543-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-030-89543-3_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-89542-6
Online ISBN: 978-3-030-89543-3
eBook Packages: Computer ScienceComputer Science (R0)