Summary
Using methods from linear algebra and crossing-sequence arguments it is shown that logarithmic space is necessary for the recognition of all context-free nonregular subsets of {a1}* ... {an}*, where {a1,...,an} is some alphabet. It then follows that log n is a lower bound on the space complexity for the recognition of any bounded or deterministic non-regular context-free language.
Similar content being viewed by others
Abbreviations
- ℕ:
-
the set of natural numbers
- ℕ0=:
-
\(\mathbb{N} \cup \left\{ 0 \right\}\)
- ℤ:
-
the set of integers
- \(\mathbb{Q}\) :
-
the set of rational numbers
- \(\mathbb{Q}_ + \) :
-
the set of nonnegative rational numbers
- [r 1, r 2]:
-
the set \(\{ x \in \mathbb{Q}|r_1 \leqq {\text{x}} \leqq r_2 \}\)
- [r 1,r2):
-
the set \(\{ x \in \mathbb{Q}|r_1 \leqq {\text{x}} \leqq r_2 \}\)
- δ + A :
-
the set of all vectors {δ + α¦αεA} for a given vector δ and a set of vectors A
- M :
-
the complement of the set M
- w R :
-
the reversal of the word wε σ*, e.g. (x1...xi)R=x n ...x 1
- O: f :
-
O(g) for two functions f,g: ℕ0→ℕ0 means lim sup \(\mathop {lim}\limits_{n \to \infty } sup\frac{{f(n)}}{{g(n)}} < \infty ; o: f = o(g) \Leftrightarrow \mathop {lim}\limits_{n \to \infty } \frac{{f(n)}}{{g(n)}} = 0\)
References
Alt, H.: Eine untere Schranke für den Platzbedarf bei der Analyse beschränkter kontextfreier Sprachen, Dissertation, Saarbrücken, 1976
Alt, H., Mehlhorn, K.: Lower Bounds for the Space Complexity of Contextfree Recognition, 3rd Coll. on Automata, Languages and Programming, Edinburgh, 1976
Alt, H. Mehlhorn, K.: A Language over a Single Letter Alphabet requiring only O(log log n) Space. SIGACT NEWS, Vol. 7 (1975)
Fredman, A.R., Ladner, E.R.: Space Bounds Processing Contentless Inputs, JCSS, 1976
Ginsburg, S.: The Mathematical Theory of Context-Free Languages, McGraw-Hill, 1972
Greub, W.H.: Linear Algebra, Springer-Verlag, 1967
Hartmanis, J., Berman, L.: A Note on Tape Bounds for SLA Languages Processing, 16th FOCS Symp., Berkeley, 1975
Hopcroft, J.W., Ullman, J.D.: Formal Languages and their Relation to Automata, Reading, Mass.: Addison-Wesley, 1969
Hotz, G., Messerschmidt, J.: Dyck-Sprachen sind in Bandkomplexität log n analysierbar, Universität des Saarlandes 1974
Lewis, P.M., Hartmanis, J., Stearns, R.E.: Memory Bounds for the Recognition of Context-Free and Context-Sensitive Languages, IEEE Conf. Record on Switching Circuit Theory and Logical Dessign, 179–202 (1965)
Lynch, N.: Log Space Recognition and Translation of Paranthesis Languages, JACM 24 (1977)
Mehlhorn, K.: Komplexitätstheorie, Vorlesungsskript, WS 1975/76, Univ. d. Saarlandes
Mehlhorn, K.: Bracket Languages are Recognizable in Logarithmic Space, Information Processing Letters 5, 1976
Monien, B.: About the Deterministic Simulation of Nondeterministic (log n)-Tape Bounded Turing Machines, 2. GI-Fachtagung, Kaiserslautern, 1975
Springsteel, Ritchie: Language Recognition by Marking Automata, Information and Control, 4, 313–330 (1972)
Stearns, R.E.: A Regularity Test for Pushdown-Machines, Information and Control, 11, 323–340 (1967)
Sudborough, I.H.: On Tape Bounded Classes and Multihead Finite Automata, 14th SWAT Symp., 138–144 (1973)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alt, H. Lower bounds on space complexity for contextfree recognition. Acta Informatica 12, 33–61 (1979). https://doi.org/10.1007/BF00264016
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00264016