Decomposing Timed Push Down Automata

• Autorzy: Krishnan P.
• Języki publikacji: EN

Abstrakty

EN

In this paper we define a particular type of timed push down automata. We show that the emptiness problem for this class is decidable. We also present a notion of homomorphism and parallel decomposition for these automata. These notions are a generalisation of the homomorphism and decomposition via partitions for finite automata.

Słowa kluczowe

EN

time; pushdown automata; parallel decomposition

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 45, nr 3
• Strony: 215--229
• Opis fizyczny: bibliogr. 7 poz.

Twórcy

autor

Krishnan P.

• Department of Computer Science University of Canterbury, Pbag 4800 Christchurch, New Zealand,