Timed Pushdown Automata Revisited

This paper contains two results on timed extensions of pushdown automata (PDA). As our first result we prove that the model of dense-timed PDA of Abdulla et al. Collapses: it is expressively equivalent to dense-timed PDA with timeless stack. Motivated by this result, we advocate the framework of fir...

Celý popis

Podrobná bibliografie

Vydáno v:	2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science s. 738 - 749
Hlavní autoři:	Clemente, Lorenzo, Lasota, Slawomir
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.07.2015
Témata:	Atomic clocks Automata Complexity theory Handheld computers orbit-finite Orbits pushdown automata Registers sets with atoms timed automata
ISSN:	1043-6871
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!