Synchronization of Pushdown Automata

13 years 6 months ago

Download www-igm.univ-mlv.fr

Abstract. We introduce the synchronization of a pushdown automaton by a sequential transducer associating an integer to each input word. The visibly pushdown automata are the automata synchronized by an

Didier Caucal

Real-time Traffic

DLT 2006 | DLT 2007 | Input Word | Pushdown Automaton | Sequential Transducer |

claim paper

Related Content

» Synchronization of Grammars

» Regular Languages of Nested Words Fixed Points Automata and Synchronization

» Visibly Pushdown Games

» Symmetry Coincides with Nondeterminism for TimeBounded Auxiliary Pushdown Automata

» EventClock Visibly Pushdown Automata

» Streaming tree automata

» A note on an extension of PDL

» Boolean algebras of unambiguous contextfree languages

» Binary Reachability Analysis of Discrete Pushdown Timed Automata

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DLT
Authors	Didier Caucal

Comments (0)

Sciweavers

Synchronization of Pushdown Automata

DLT 2006 | DLT 2007 | Input Word | Pushdown Automaton | Sequential Transducer |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers