Pushdown

Results: 244



#Item
101Symbol / Structure / Model theory / Mathematics / Logic / Automata theory / Models of computation / Pushdown automaton

Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2012-08-10 19:22:59
102Linguistics / Context-free grammar / Formal grammar / Linear grammar / Pushdown automaton / Ambiguous grammar / Controlled grammar / Context-sensitive grammar / Formal languages / Grammar / Theoretical computer science

Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008

Add to Reading List

Source URL: www-igm.univ-mlv.fr

Language: English - Date: 2008-06-08 00:54:52
103Linguistics / Context-free grammar / Formal grammar / Linear grammar / Pushdown automaton / Ambiguous grammar / Controlled grammar / Context-sensitive grammar / Formal languages / Grammar / Theoretical computer science

Context-Free Languages∗ Jean Berstel Luc Boasson June 8, 2008

Add to Reading List

Source URL: www-igm.univ-mlv.fr

Language: English - Date: 2008-06-08 00:54:52
104Formal languages / Computer science / Deterministic pushdown automaton / Ω-automaton / Pushdown automaton / Omega language / Nondeterministic finite automaton / Context-free language / Regular language / Automata theory / Theoretical computer science / Models of computation

Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-09-03 08:07:06
105Context-free language / Linear grammar / Context-free grammar / Formal grammar / Vector space / Nested word / Pushdown automaton / Formal languages / Algebra / Mathematics

Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3

Add to Reading List

Source URL: www-igm.univ-mlv.fr

Language: English - Date: 2009-04-11 04:05:34
106Formal languages / Computer science / Mathematics / Deterministic pushdown automaton / Pushdown automaton / Tree automaton / Alphabet / A / Automata theory / Models of computation / Theoretical computer science

String Suffix Automata and Subtree Pushdown Automata

Add to Reading List

Source URL: www.stringology.org

Language: English - Date: 2009-09-02 12:00:50
107Applied mathematics / Automata theory / Models of computation / Mathematical optimization / NP / Deterministic pushdown automaton / Pushdown automaton / P / Complement / Theoretical computer science / Computational complexity theory / Complexity classes

ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1:

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2003-12-01 14:01:08
108Computer programming / Tree automaton / Pattern matching / Regular expression / Pushdown automaton / Binary tree / Abstract syntax tree / Nondeterministic finite automaton / Finite-state machine / Software engineering / Automata theory / Computing

trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:32
109Applied mathematics / Factor oracle / Finite-state machine / SC / Automata construction / Automaton / LL parser / Nested word / Deterministic pushdown automaton / Automata theory / Theoretical computer science / Computer science

Oracle Pushdown Automata for Trees in Prefix Notation

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2010-02-18 04:52:05
110

Repeats in Trees and Pushdown Automata

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2009-02-16 12:13:30
    UPDATE