Pushdown

Results: 244



#Item
231XTR / Models of computation / Automata theory / Pushdown automaton

1 Language Theory and Infinite Graphs Colin Stirling School of Informatics University of Edinburgh

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2006-02-02 08:38:18
232Deterministic pushdown automaton / Vertex operator algebra / Models of computation / Symbol / Constructible universe

An Introduction to Decidability of DPDA Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed]

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:55:33
233Pushdown automaton / Deterministic pushdown automaton / Pumping lemma for regular languages / Field extension / Mathematics / Applied mathematics / Automata theory / Models of computation / Formal languages

Se ond-Order Simple Grammars Colin Stirling S hool of Informati s 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:48:41
234Grammar / Formal grammar / Terminal and nonterminal symbols / Nested word / Linear grammar / Chomsky hierarchy / Bottom-up parsing / LR parser / Production / Formal languages / Linguistics / Theoretical computer science

Operator precedence and the visibly pushdown property ★ Stefano Crespi Reghizzi and Dino Mandrioli Dipartimento di Elettronica e Informazione, Politecnico di Milano

Add to Reading List

Source URL: home.deib.polimi.it

Language: English - Date: 2010-02-16 11:12:36
235Theoretical computer science / Models of computation / Computer science / Nested word / Deterministic pushdown automaton / Pushdown automaton / Deterministic context-free language / Context-free language / Omega language / Automata theory / Theory of computation / Formal languages

Visibly Pushdown Languages ∗ Rajeev Alur University of Pennsylvania

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2006-06-22 11:47:24
236Computer science / Deterministic pushdown automaton / Pushdown automaton / LL parser / Finite-state machine / Context-free language / Symbol / Greibach normal form / Nested word / Automata theory / Models of computation / Theoretical computer science

1 Pushdown Automata Hendrik Jan Hoogeboom and Joost Engelfriet

Add to Reading List

Source URL: www.liacs.nl

Language: English - Date: 2004-05-10 11:22:35
237Computer science / Pushdown automaton / Deterministic pushdown automaton / Computability / Context-free language / Finite-state machine / National Parliamentary Debate Association / Stack / Computation history / Automata theory / Models of computation / Theoretical computer science

Non-deterministic pushdown automata Regular languages are recognized by finite automata, context free languages are recognized by non-deterministic pushdown automata.

Add to Reading List

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

Language: English - Date: 2012-01-14 04:37:24
238Models of computation / Theoretical computer science / Computer science / Applied mathematics / Pushdown automaton / Global index grammar / Formal languages / Automata theory / Indexed grammar

NEW FRONTIERS BEYOND CONTEXT-FREENESS: DI-GRAMMARS AND DI-AUTOMATA. Peter Staudacher

Add to Reading List

Source URL: acl.ldc.upenn.edu

Language: English - Date: 2002-04-04 17:22:54
239Computer science / Stack / Finite-state machine / Context-free language / Pushdown automaton / Deterministic pushdown automaton / Automata theory / Models of computation / Theoretical computer science

Chapter 3 Pushdown Automata and Context Free Languages

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2009-10-01 15:20:36
240Finite-state machine / Nondeterministic finite automaton / Alphabet / Powerset construction / Deterministic automaton / State transition table / Deterministic finite automaton / Deterministic pushdown automaton / Automata theory / Theory of computation / Theoretical computer science

CHAPTER ✦

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-18 21:43:57
UPDATE