Nested stack automaton

Results: 4



#Item
1Models of computation / Pushdown automaton / Software engineering / Theoretical computer science / Timed automaton / Stack / Petri net / Clock / Exponentiation / Abstraction / Nested word / Nested stack automaton

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
2Models of computation / Formal languages / Pushdown automaton / Finite automata / Nondeterministic finite automaton / Computability / Abstract interpretation / Context-free language / Symbol / Nested stack automaton / Tree stack automaton

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
3Computer science / Pushdown automaton / Finite-state machine / Deterministic finite automaton / Nondeterministic finite automaton / Stack / Deterministic pushdown automaton / Nested word / Automata theory / Models of computation / Theoretical computer science

COMS11700 Pushdown automata Ashley Montanaro Department of Computer Science, University of Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-05-31 09:18:32
4Theory of computation / Computing / Programming paradigms / Nested stack automaton / Automata theory / Models of computation / Finite-state machine

Changes to JFLAP to Increase its Use in Courses ∗ Susan H. Rodger Henry Qin Jonathan Su

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2011-05-30 17:54:04
UPDATE