Abstract
The paper improves several state complexity bounds for input-driven pushdown automata (IDPDA), also known as visibly pushdown automata. For deterministic IDPDA it is proved that the number of states sufficient and in the worst case necessary to represent the reversal of an n-state automaton is exactly \(n^n\) if all inputs are assumed to be well-nested, and between \(n^n\) and \(n(n^n - (n-1)^n) + 1\) without this restriction, cf. \(2^{\varTheta (n \log n)}\) in the literature. For the concatenation of an m-state and an n-state IDPDA, the new lower bound is \(mn^n\), which is asymptotically tight for well-nested inputs. Without this restriction, the state complexity is between \(mn^n\) and \(m(n+1)n^n2^n\). Finally, it is proved that transforming an n-state nondeterministic IDPDA to a deterministic one requires exactly \(2^{n^2}\) states, cf. \(2^{\varTheta (n^2)}\) in the literature; the known lower bounds on complementing nondeterministic IDPDA and on transforming them to unambiguous are also improved.
G. Jirásková—Research supported by VEGA grant 2/0084/15 and grant APVV-15-0091.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Madhusudan, P.: Visibly pushdown languages. In: ACM Symposium on Theory of Computing. STOC 2004, Chicago, USA, 13–16 June 2004, pp. 202–211 (2004). https://doi.org/10.1145/1007352.1007390
von Braunmühl, B., Verbeek, R.: Input driven languages are recognized in log n space. Ann. Discrete Math. 24, 1–20 (1985). https://doi.org/10.1016/S0304-0208(08)73072-X
Kutrib, M., Malcher, A., Wendlandt, M.: Tinput-driven pushdown automata. In: Durand-Lose, J., Nagy, B. (eds.) MCU 2015. LNCS, vol. 9288, pp. 94–112. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23111-2_7
Leung, H.: Separating exponentially ambiguous finite automata from polynomially ambiguous finite automata. SIAM J. Comput. 27(4), 1073–1082 (1998)
Mehlhorn, K.: Pebbling mountain ranges and its application to DCFL-recognition. In: de Bakker, J., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol. 85, pp. 422–435. Springer, Heidelberg (1980). https://doi.org/10.1007/3-540-10003-2_89
Okhotin, A., Salomaa, K.: Complexity of input-driven pushdown automata. SIGACT News 45(2), 47–67 (2014). https://doi.org/10.1145/2636805.2636821
Okhotin, A., Salomaa, K.: Descriptional complexity of unambiguous input-driven pushdown automata. Theoret. Comput. Sci. 566, 1–11 (2015). https://doi.org/10.1016/j.tcs.2014.11.015
Okhotin, A., Salomaa, K.: State complexity of operations on input-driven pushdown automata. J. Comput. Syst. Sci. 86, 207–228 (2017). https://doi.org/10.1016/j.jcss.2017.02.001
Okhotin, A., Salomaa, K.: Edit distance neighbourhoods of input-driven pushdown automata. In: Weil, P. (ed.) CSR 2017. LNCS, vol. 10304, pp. 260–272. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-58747-9_23
Okhotin, A., Salomaa, K.: The quotient operation on input-driven pushdown automata. In: Pighizzini, G., Câmpeanu, C. (eds.) DCFS 2017. LNCS, vol. 10316, pp. 299–310. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-60252-3_24
Okhotin, A., Salomaa, K.: Further closure properties of input-driven pushdown automata. In: Konstantinidis, S., Pighizzini, G. (eds.) DCFS 2018, pp. 224–236. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94631-3_19. to appear
Piao, X., Salomaa, K.: Operational state complexity of nested word automata. Theoret. Comput. Sci. 410, 3290–3302 (2009). https://doi.org/10.1016/j.tcs.2009.05.002
Salomaa, K.: Limitations of lower bound methods for deterministic nested word automata. Inf. Comput. 209, 580–589 (2011). https://doi.org/10.1016/j.ic.2010.11.021
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Jirásková, G., Okhotin, A. (2018). Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata. In: Hoshi, M., Seki, S. (eds) Developments in Language Theory. DLT 2018. Lecture Notes in Computer Science(), vol 11088. Springer, Cham. https://doi.org/10.1007/978-3-319-98654-8_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-98654-8_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98653-1
Online ISBN: 978-3-319-98654-8
eBook Packages: Computer ScienceComputer Science (R0)