![Symbol / Structure / Model theory / Mathematics / Logic / Automata theory / Models of computation / Pushdown automaton Symbol / Structure / Model theory / Mathematics / Logic / Automata theory / Models of computation / Pushdown automaton](https://www.pdfsearch.io/img/c6e281b31ea68cdfa1ca47113590c881.jpg)
| Document Date: 2012-08-10 19:22:59 Open Document File Size: 431,48 KBShare Result on Facebook
Company CFA2 / / / Facility store We / Matthew Might University of Utah / / IndustryTerm closure graph work-list algorithm / graph search / fixed-point algorithm / straightforward pushdown-reachability algorithm / pushdown systems / reasonable algorithm / recent algorithm / call site / rooted pushdown systems / state graph construction algorithm / reachability algorithm / / Organization University of Utah / National Science Foundation / Northeastern University / Computing Research Association / / Person Earl David Van Horn / / Position evaluator / Reachable configurations The evaluator / atomic expression evaluator / / Technology previous algorithm / reachability algorithms / closure graph work-list algorithm / reasonable algorithm / dom / fixed-point algorithm / PDA / straightforward pushdown-reachability algorithm / Dyck state graph construction algorithm / reachability algorithm / /
SocialTag |