# Descriptional complexity of unambiguous input-driven pushdown automata

@article{Okhotin2015DescriptionalCO,
title={Descriptional complexity of unambiguous input-driven pushdown automata},
author={Alexander Okhotin and Kai Salomaa},
journal={Theor. Comput. Sci.},
year={2015},
volume={566},
pages={1-11}
}
• Published 9 February 2015
• Computer Science
• Theor. Comput. Sci.
17 Citations

## Figures from this paper

Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata
• Computer Science
DLT
• 2018
The paper improves several state complexity bounds for input-driven push down automata (IDPDA), also known as visibly pushdown automata, and proves that transforming an n-state nondeterministic IDPDA to a deterministic one requires exactly $$2^{n^2}$$ states.
The Quotient Operation on Input-Driven Pushdown Automata
• Computer Science
DCFS
• 2017
This paper establishes the closure of the family of input-driven pushdown automata (IDPDA), also known as visibly push down automata, under the quotient operation, and its state complexity with respect to nondeterministic IDPDA is shown to be \(m^2n + O(m).
State Complexity of the Quotient Operation on Input-Driven Pushdown Automata
• Computer Science
Int. J. Found. Comput. Sci.
• 2019
The quotient of a formal language [Formula: see text] by another language [Formula: see text] is the set of all strings obtained by taking a string from [Formula: see text] that ends with a suffix of
Further closure properties of input-driven pushdown automata
• Computer Science
Theor. Comput. Sci.
• 2019
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties
• Computer Science, Mathematics
ArXiv
• 2020
This paper investigates the properties of these automata under the assumption that a given infinite string is always well-nested, which enables a complete characterization of the corresponding $\omega$-languages in terms of classical $\omegas$-regular languages and input-driven automata on finite strings.
Edit Distance Neighbourhoods of Input-Driven Pushdown Automata
• Computer Science
CSR
• 2017
This paper establishes the closure of the family of input-driven pushdown Automata (IDPDA), also known as visibly pushdown automata, under the edit distance neighbourhood operation.
Ambiguity, Nondeterminism and State Complexity of Finite Automata
• Computer Science
Acta Cybern.
• 2017
This paper surveys work on the degree of ambiguity and on various nondeterminism measures for finite automata, and focuses on state complexity comparisons between NFAs with quantified ambiguity or nond determinism.
Descriptional Complexity of Formal Systems
• Computer Science
Lecture Notes in Computer Science
• 2017
A new machine model of cost register automata, a class of write-only programs, is proposed to define a notion of regularity, with a focus on algebraic and logical characterization, and algorithms for transformations and analysis questions.

## References

SHOWING 1-10 OF 39 REFERENCES
Descriptional Complexity of Input-Driven Pushdown Automata
• Computer Science
Languages Alive
• 2012
The size blow-up of determinization is considered in more detail, and a lower bound construction is given, that is tight within a multiplicative constant, with respect to the size of the nondeterministic automaton both for the number of states and thenumber of stack symbols.
State Complexity of Operations on Input-Driven Pushdown Automata
• Computer Science
MFCS
• 2011
More efficient constructions for the reversal and for the Kleene star are presented, as well as an m2Θ(n log n)-state construction for the concatenation, which are optimal due to the previously known matching lower bounds.
Communication Complexity Method for Measuring Nondeterminism in Finite Automata
• Computer Science
Inf. Comput.
• 2002
Deterministic communication complexity provides lower bounds on the size of nfa's with bounded unambiguity and there is a family of languages KONk2 with an exponential size gap between nFA's with polynomial leaf number/ambiguit and nfa’s with ambiguity k.
On the Expressive Power of 2-Stack Visibly Pushdown Automata
• B. Bollig
• Computer Science
Log. Methods Comput. Sci.
• 2008
This paper considers 2-stack visibly pushdown automata in their unrestricted form and shows that they are expressively equivalent to the existential fragment of monadic second-order logic, and extends the logic by an infinity quantifier to establish equivalence to existential monadicsecond- order logic.
Congruences for Visibly Pushdown Languages
• Computer Science, Mathematics
ICALP
• 2005
Though Vpls in general do not have unique minimal automata, this work considers a subclass of VPAs called k-module single-entry VPAs that correspond to programs with recursive procedures without input parameters, and shows that the class of well-matched VPLs do indeed haveunique minimal k- module single- entry automata.
Visibly pushdown languages
• Computer Science
STOC '04
• 2004
This framework explains, unifies, and generalizes many of the decision procedures in the program analysis literature, and allows algorithmic verification of recursive programs with respect to many context-free properties including access control properties via stack inspection and correctness of procedures withrespect to pre and post conditions.
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups
• Mathematics
Developments in Language Theory
• 2011
This characterization is then used to show that transforming an n-state 2D FA over a one-letter alphabet to an equivalent sweeping 2DFA requires exactly n+1 states, and transforming it to aOne-way automaton requires exactly max0≤l≤n G(n - l) + l + 1 states, where G(k) is the maximum order of a permutation of k elements.