Abstract
By relating positive inductive definitions to space-bounded computations of alternating Turing machines, Rounds, Comp. Linguistics 14, 1988, has given uniform grammatical characterizations of the EXPTIME and PTIME languages. But his proof gives fairly poor bounds for language recognition with context-free resp. head grammars. We improve Rounds' analysis in two respects: first, we introduce a modified class of language definitions that allow restricted forms of negative inductions, and second, we show how to build table-driven recognizers from such definitions. For a wide and natural class of language definitions we thereby obtain fairly efficient recognizers; we can recognize the boolean closure of context-free resp. head languages in the well-known O(n 3) resp. O(n 6) steps on a RAM. Our ‘bounded’ fixed-point formulas apparently can not define an arbitrary PTIME language.
Our method is based on the existence of fixed-points for a class of operators that need neither be monotone nor increasing, but assume a norm or at least a well-founded quasi-ordering on the underlying set.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the Association for Computing Machinery, 28(1):114–133, 1981.
H.-D. Ebbinghaus and J. Flum. Finite Model Theory, Springer, Berlin 1995.
Y. Gurevich and S. Shelah. Fixed-point extensions of first-order logic. In Proceedings of the 26th IEEE Symposium on Foundations of Computer Science, 1985.
M. Harrison. Introduction to Formal Languages. Addison Wesley, Reading 1978.
S. Heilbrunner and L. Schmitz. An efficient recognizer for the boolean closure of context-free languages. Theoretical Computer Science, 80:53–75, 1991.
G. Hotz and G. Pitsch. Fast uniform analysis of coupled-context-free languages. In S. Abiteboul and E. Shamir, editors, 21st International Colloquium on Automata, Languages and Programming, pages 412–423. Lecture Notes in Computer Science 820, Springer, Berlin 1994.
N. Immerman. Relational queries computable in polynomial time. Information and Control, 68:86–104, 1986.
C. Lautemann, T. Schwentick, and D. Thérien. Logics for context-free languages. In Computer Science Logic '94, pages 205–216. Lecture Notes in Computer Science 933, Springer, Berlin 1995.
H. Leiß. Towards Kleene Algebra with Recursion. In E. Börger e.a., editors, Computer Science Logic '91, pages 242–256. Lecture Notes in Computer Science 626, Springer, Berlin 1992.
C. Pollard. Generalized Phrase Structure Grammars, Head Grammars, and Natural Language. PhD thesis, Department of Linguistics, Stanford University, 1984.
K. Roach. Formal properties of head grammars. In A. Manaster-Ramer, editor, Mathematics of Language, pages 293–348. John Benjamins, Amsterdam 1987.
W. Rounds. A logic for linguistic descriptions and an analysis of its complexity. Computational Linguistics, 14(4):1–9, 1988.
H. Seki, T. Matsumura, M. Fujii and T. Kasami. On multiple context-free grammars. Theoretical Computer Science, 88(2):191–229, 1991.
M. Vardi. Complexity of relational query languages. In 14th ACM Symposium on the Theory of Computing, pages 137–146, 1982.
K. Vijay-Shanker and A. Joshi. Some computational properties of tree adjoining grammars. In Proceedigs of the 23rd Meeting of the Association for Computational Linguistics, pages 82–93, Chicago 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leiß, H. (1996). Bounded fixed-point definability and tabular recognition of languages. In: Kleine Büning, H. (eds) Computer Science Logic. CSL 1995. Lecture Notes in Computer Science, vol 1092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61377-3_50
Download citation
DOI: https://doi.org/10.1007/3-540-61377-3_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61377-0
Online ISBN: 978-3-540-68507-4
eBook Packages: Springer Book Archive