Abstract
In this paper, we define the online space complexity of languages, as the size of the smallest abstract machine processing words sequentially and able to determine at every point whether the word read so far belongs to the language or not. The first part of this paper motivates this model and provides examples and preliminary results.
One source of inspiration for introducing the online space complexity of languages comes from a seminal paper of Rabin from 1963, introducing probabilistic automata, which suggests studying the online space complexity of probabilistic languages. This is the purpose of the second part of the current paper.
Work supported by the ANR STOCH-MC.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Alon, N., Matias, Y., Szegedy, M.: The space complexity of approximating the frequency moments. In: STOC 1996, pp. 20–29 (1996). http://doi.acm.org/10.1145/237814.237823
Fijalkow, N., Skrzypczak, M.: Irregular behaviours for probabilistic automata. In: RP 2015, pp. 33–36 (2015)
Flajolet, P., Martin, G.N.: Probabilistic counting algorithms for data base applications. J. Comput. Syst. Sci. 31(2), 182–209 (1985). http://dx.doi.org/10.1016/0022-0000(85)90041-8
Karp, R.M.: On-line algorithms versus off-line algorithms: how much is it worth to know the future? In: IFIP 1992, pp. 416–429 (1992)
Munro, J.I., Paterson, M.: Selection and sorting with limited storage. Theor. Comput. Sci. 12, 315–323 (1980). http://dx.doi.org/10.1016/0304-3975(80)90061-4
Patnaik, S., Immerman, N.: Dyn-FO: A parallel, dynamic complexity class. In: PODS 1994, pp. 210–221 (1994). http://doi.acm.org/10.1145/182591.182614
Rabin, M.O.: Probabilistic automata. Inf. Control 6(3), 230–245 (1963). http://dx.doi.org/10.1016/S0019-9958(63)90290-0
Sleator, D.D., Tarjan, R.E.: Amortized efficiency of list update and paging rules. Commun. ACM 28(2), 202–208 (1985). http://doi.acm.org/10.1145/2786.2793
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Fijalkow, N. (2016). The Online Space Complexity of Probabilistic Languages. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2016. Lecture Notes in Computer Science(), vol 9537. Springer, Cham. https://doi.org/10.1007/978-3-319-27683-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-27683-0_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27682-3
Online ISBN: 978-3-319-27683-0
eBook Packages: Computer ScienceComputer Science (R0)