Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK

First Page		Document Content
Date: 2013-12-01 10:21:43 Formal languages Mathematics Theoretical computer science Models of computation Discrete mathematics Nested word Words Bisimulation Distribution Deterministic pushdown automaton		Bisimilarity of Probabilistic Pushdown Automata Vojtěch Forejt1 , Petr Jančar2 , Stefan Kiefer1 , and James Worrell1 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 565,29 KB Share Document on Facebook