![Formal languages / Mathematics / Theoretical computer science / Models of computation / Discrete mathematics / Nested word / Words / Bisimulation / Distribution / Deterministic pushdown automaton Formal languages / Mathematics / Theoretical computer science / Models of computation / Discrete mathematics / Nested word / Words / Bisimulation / Distribution / Deterministic pushdown automaton](https://www.pdfsearch.io/img/976386aff3099106e83c796fea8d4cf5.jpg) Date: 2013-12-01 10:21:43Formal 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, UKAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 565,29 KBShare Document on Facebook
|