Operator Precedence and the Visibly Pushdown Property

Operator precedence languages, designated as Floyd’s Languages (FL) to honor their inventor, are a classical deterministic context-free family. FLs are known to be a boolean family, and have been recently shown to strictly include the Visibly Pushdown Languages (VPDL); the latter are FLs characterized by operator precedence relations determined by the alphabet partition. In this paper we give the non-obvious proves that FLs have the same clo

• Type: Conference
• Year: 2010
• Where: LATA
• Authors: Stefano Crespi-Reghizzi, Dino Mandrioli
• Keywords: Automata Theory, Deterministic Context-free Family, LATA 2010, Operator Precedence, Operator Precedence Languages