Regularity Problems for Visibly Pushdown Languages

  • Vince Bárány
  • Christof Löding
  • Olivier Serre
Conference paper

DOI: 10.1007/11672142_34

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3884)
Cite this paper as:
Bárány V., Löding C., Serre O. (2006) Regularity Problems for Visibly Pushdown Languages. In: Durand B., Thomas W. (eds) STACS 2006. STACS 2006. Lecture Notes in Computer Science, vol 3884. Springer, Berlin, Heidelberg

Abstract

Visibly pushdown automata are special pushdown automata whose stack behavior is driven by the input symbols according to a partition of the alphabet. We show that it is decidable for a given visibly pushdown automaton whether it is equivalent to a visibly counter automaton, i.e. an automaton that uses its stack only as counter. In particular, this allows to decide whether a given visibly pushdown language is a regular restriction of the set of well-matched words, meaning that the language can be accepted by a finite automaton if only well-matched words are considered as input.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Vince Bárány
    • 1
  • Christof Löding
    • 1
  • Olivier Serre
    • 2
  1. 1.RWTH AachenGermany
  2. 2.LIAFA, Université Paris VII & CNRSFrance

Personalised recommendations