Visibly Pushdown Languages and Free Profinite Algebras

Silke Czarnetzki, Andreas Krebs, Klaus-Jörn Lange

We build a notion of algebraic recognition for visibly pushdown languages by finite algebraic objects. These come with a typical Eilenberg relationship, now between classes of visi…