Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Congruences for Visibly Pushdown Languages Rajeev Alur1

Summary: Congruences for Visibly Pushdown Languages
Rajeev Alur1
, Viraj Kumar2
, P. Madhusudan2
, and Mahesh Viswanathan2
University of Pennsylvania, Philadelphia, PA, USA,
University of Illinois at Urbana-Champaign, Urbana, IL, USA,
Abstract. We study congruences on words in order to characterize the
class of visibly pushdown languages (Vpl), a subclass of context-free
languages. For any language L, we define a natural congruence on words
that resembles the syntactic congruence for regular languages, such that
this congruence is of finite index if, and only if, L is a Vpl. We then
study the problem of finding canonical minimal deterministic automata
for Vpls. Though Vpls in general do not have unique minimal automata,
we consider a subclass of VPAs called k-module single-entry VPAs that
correspond to programs with recursive procedures without input parame-


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Parthasarathy, Madhusudan - Department of Computer Science, University of Illinois at Urbana-Champaign


Collections: Computer Technologies and Information Sciences