Sciweavers

30 search results - page 1 / 6
» Event-Clock Visibly Pushdown Automata
Sort
View
SOFSEM
2009
Springer
14 years 4 months ago
Event-Clock Visibly Pushdown Automata
Abstract. We introduce the class of event-clock visibly pushdown automata (ECVPAs) as an extension of event-clock automata. The class of ECVPAs, on one hand, can model simple real-...
Nguyen Van Tang, Mizuhito Ogawa
FSTTCS
2004
Springer
14 years 26 days ago
Visibly Pushdown Games
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
Christof Löding, P. Madhusudan, Olivier Serre
SOFSEM
2012
Springer
12 years 3 months ago
Visibly Pushdown Transducers with Look-Ahead
Visibly Pushdown Transducers (VPT) form a subclass of pushdown transducers. In this paper, we investigate the extension of VPT with visibly pushdown look-ahead (VPTla). Their trans...
Emmanuel Filiot, Frédéric Servais
MFCS
2010
Springer
13 years 5 months ago
Properties of Visibly Pushdown Transducers
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
Emmanuel Filiot, Jean-François Raskin, Pier...
JAPLL
2008
95views more  JAPLL 2008»
13 years 7 months ago
A note on an extension of PDL
Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked...
Stefan Göller, Dirk Nowotka