Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
921	ORDER INDEPENDENCE IN ASYNCHRONOUS CELLULAR AUTOMATA M. MACAULEY Add to Reading List Source URL: www.math.ucsb.edu Language: English - Date: 2007-07-16 15:45:24 Graph theory Set theory Networks Sequential dynamical system Cellular automaton Code Mathematics Combinatorics Dynamical systems
922	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
923	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
924	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
925	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
926	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 XTR Models of computation Automata theory Pushdown automaton
927	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 Deterministic pushdown automaton Vertex operator algebra Models of computation Symbol Constructible universe
928	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 Pushdown automaton Deterministic pushdown automaton Pumping lemma for regular languages Field extension Mathematics Applied mathematics Automata theory Models of computation Formal languages
929	Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2005-04-26 10:03:24 Formal languages Computer science Pattern matching Universal identifiers Nondeterministic finite automaton Deterministic automaton Terminal and nonterminal symbols Deterministic finite automaton International Article Number Automata theory Models of computation Theoretical computer science
930	Andy Wuensche Discrete Dynamics Lab Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2008-05-05 14:08:30 Logic Cellular automaton Cellular automata Rule 90 Christopher Langton Dynamical system Chaos theory Abstraction Systems theory Science Bioinformatics Boolean network

UPDATE