Abstract
Leftist grammars were introduced by Motwani et. al. [7], as a tool to show decidability of the accessibility problem in certain general protection systems. It is shown that the membership problem for languages defined by leftist grammars is non-primitive recursive. Therefore, by the reduction of Motwani et. al., the accessibility problem in the appropriate protection systems is non-primitive recursive as well.
Partially supported by MNiSW grant number N206 024 31/3826, 2006-2008.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bandyopadhyay, S., Mahajan, M., Narayan Kumar, K.: A non-regular leftist language (manuscript, 2005)
Cheiner, O., Saraswat, V.: Security Analysis of Matrix. Technical report, AT&T Shannon Laboratory (1999)
Harrison, M., Ruzzo, W., Ullman, J.: Protection in operating systems. Communications of the ACM 19(8), 461–470 (1976)
Jurdziński, T.: On Complexity of Grammars Related to the Safety Problem. Theoretical Computer Science 389(1-2), 56–72 (2007); An extended abstract appeared in ICALP 2006 Proceedings
Jurdziński, T.: Leftist Grammars are Non-primitive Recursive, Technical Report of the Institute of Computer Science, University of Wroclaw (2008/01)
Jurdziński, T., Loryś, K.: Leftist Grammars and the Chomsky Hierarchy. Theory of Computing Systems 41(2), 233–256 (2007)
Motwani, R., Panigrahy, R., Saraswat, V.A., Venkatasubramanian, S.: In: STOC 2000, pp. 306–315 (2000)
Saraswat, V.: The Matrix Design. Technical report, AT&T Laboratory (April 1997)
Saraswat, V., Jagadeesan, R.: Static support for capability-based programming in Java (manuscript)
Schnoebelen, P.: Verifying Lossy Channel Systems has Nonprimitive Recursive Complexity. Information Processing Letters 83(5), 251–261 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jurdziński, T. (2008). Leftist Grammars Are Non-primitive Recursive. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds) Automata, Languages and Programming. ICALP 2008. Lecture Notes in Computer Science, vol 5126. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70583-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-70583-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70582-6
Online ISBN: 978-3-540-70583-3
eBook Packages: Computer ScienceComputer Science (R0)