Pushdown automaton - PDFSEARCH.IO - Document Search Engine

Pushdown automaton
Results: 134

#	Item
1	Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Combinatorics Mathematics Combinatorics on words Discrete mathematics Theoretical computer science Models of computation Finite automata Automata theory Pushdown automaton Finite-state machine Alphabet
2	Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-09-22 20:46:25 Models of computation Formal languages Theoretical computer science Pushdown automaton Automata theory Deterministic pushdown automaton Computability Language Deterministic context-free language Deterministic automaton Culture NPDA
3	Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA: Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:35:31 Formal languages Models of computation Combinatorics Z0 Stack Personal digital assistant Alphabet Mathematics Discrete mathematics Deterministic pushdown automaton Pushdown automaton
4	Robotics: Science and Systems (RSS), 2013 Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Compiler construction LR parser LL parser Parsing Context-free grammar Robotics Recursive descent parser Formal grammar Humanoid robot Pushdown automaton LL grammar
5	Dense-Timed Pushdown Automata Parosh Aziz Abdulla Mohamed Faouzi Atig Jari Stenman Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2012-07-27 18:18:37 Models of computation Pushdown automaton Software engineering Theoretical computer science Timed automaton Stack Petri net Clock Exponentiation Abstraction Nested word Nested stack automaton
6	JFP): 218–283, c Cambridge University Press 2014 ⃝ 218 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Models of computation Formal languages Pushdown automaton Finite automata Nondeterministic finite automaton Computability Abstract interpretation Context-free language Symbol Nested stack automaton Tree stack automaton
7	Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford) Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:52 Models of computation Pushdown automaton
8	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 04:10:13 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
9	Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 11:57:54 Mathematics Deterministic pushdown automaton Parsing Computability Context-free grammar Context-free language Formal grammar Finite-state machine Recursive language Formal languages Theoretical computer science Theory of computation
10	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics

UPDATE