Pushdown - PDFSEARCH.IO - Document Search Engine

Pushdown
Results: 244

#	Item
221	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
222	Introspective Pushdown Analysis of Higher-Order Programs Christopher Earl Ilya Sergey Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Finite-state machine Context-free language Automata theory Models of computation Formal languages
223	Deterministic Pushdown Automata 237 Deterministic PDA (DPDA) A PDA P = (Q, Σ, Γ, δ, q0 , Z0 , F ) is deterministic if and only if Add to Reading List Source URL: www.cs.uiuc.edu Language: English - Date: 2005-10-18 14:54:39 Models of computation Computer science Applied mathematics Deterministic pushdown automaton Regular language Regular expression Context-free language Automata theory Formal languages Theoretical computer science
224	EPDA Taking the next step with Easysite Case Study Background Add to Reading List Source URL: www.easysitecms.net Language: English - Date: 2012-11-06 11:18:43 Website Embedded pushdown automaton Web content Web development Digital media Software Content management systems World Wide Web Web content management system
225	1 Book Title Book Editors IOS Press, 2003 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:25 Applied mathematics Computer science Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Nested word Automata theory Models of computation Theoretical computer science
226	Deciding DPDA Equivalence is Primitive Recursive Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:52:43 Symbol Pushdown automaton Constructible universe Ordinal number Automata theory Models of computation Deterministic pushdown automaton
227	Language Theory and Innite Graphs Colin Stirling S hool of Informati s Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:50:17 Applied mathematics Mathematics Deterministic pushdown automaton Pushdown automaton Bisimulation Graph Models of computation Automata theory Theoretical computer science
228	Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:59:44 Applied mathematics Computer science Deterministic pushdown automaton Bisimulation Computability Context-free language Finite-state machine Automata theory Models of computation Theoretical computer science
229	1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:30 Logic in computer science Deterministic pushdown automaton Constructible universe Symbol Bisimulation Computer science Theoretical computer science Automata theory Applied mathematics
230	1 Language Theory and Infinite Graphs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-02 08:38:25 Mathematics Norm Deterministic pushdown automaton Constructible universe Symbol Formal languages Theoretical computer science Computer science Topological vector spaces Automata theory Linear algebra Models of computation

UPDATE