Adding Time to Pushdown Automata
In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushdown automata (TPDA). Furthermore, we describe how the reachability problem for TPDAs can be reduced to the reachability...
| Asıl Yazarlar: | , , |
|---|---|
| Materyal Türü: | Makale |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Open Publishing Association
2012-12-01
|
| Seri Bilgileri: | Electronic Proceedings in Theoretical Computer Science |
| Online Erişim: | http://arxiv.org/pdf/1212.3871v1 |