Visibly Pushdown Transducers

  • Jean-François Raskin
  • Frédéric Servais
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5126)

Abstract

Visibly pushdown automata have been recently introduced by Alur and Madhusudan as a subclass of pushdown automata. This class enjoys nice properties such as closure under all Boolean operations and the decidability of language inclusion. Along the same line, we introduce here visibly pushdown transducers as a subclass of pushdown transducers. We study properties of those transducers and identify subclasses with useful properties like decidability of type checking as well as preservation of regularity of visibly pushdown languages.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Jean-François Raskin
    • 1
  • Frédéric Servais
    • 2
  1. 1.Computer Science Department  
  2. 2.Department of Computer & Decision Engineering (CoDE)Université Libre de Bruxelles (U.L.B.) 

Personalised recommendations