Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
461	Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-20 11:11:33 Mathematics Ω-automaton Finite-state machine Alphabet Sequence Muller automaton Infinite tree automaton Automata theory Theoretical computer science Computer science
462	An Interactive Lecture Approach to Teaching Computer Science Susan H. Rodger1 Computer Science Department Duke University Durham, NC, [removed]email: [removed] Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 12:59:46 Theoretical computer science Computer science Compiler construction Applied mathematics Deterministic pushdown automaton Parsing table LL parser LR parser Pushdown automaton Automata theory Models of computation Formal languages
463	On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Formal languages Logic Muller automaton Linear temporal logic Partition FO Alphabet First-order logic Star height Mathematics Automata theory Theoretical computer science
464	On Regular Expression Matching and Deterministic Finite Automata Philip Bille∗ Technical University of Denmark, DTU Compute ABSTRACT Add to Reading List Source URL: tinytocs.org Language: English - Date: 2015-03-07 12:34:01 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Regular language Regular expression Finite-state machine Matching String searching algorithm Synchronizing word Automata theory Theoretical computer science Computer science
465	Exploring Discrete Dynamics by Andrew Wuensche (Luniver Press, 2011) ISBN-10: [removed]ISBN-13: [removed]xxxvii + 498 pages, 290 figures, 31 tables Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2012-08-09 20:54:30 Systems science Bioinformatics Cellular automaton Boolean network Automata theory Christopher Langton Rule 110 Rule 30 Dynamical system Science Cellular automata Systems theory
466	Visualization and Interaction in the Computer Science Formal Languages Course with JFLAP Magdalena Procopiuc1, Octavian Procopiuc and Susan H. Rodger1 Computer Science Department, Box[removed]Duke University Durham, North Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:05:10 Theoretical computer science Combinatorics Mathematics Deterministic pushdown automaton Pushdown automaton Finite-state machine Alphabet Formal grammar Regular expression Automata theory Formal languages Models of computation
467	Invariants for equivalence of finite automata Mike Spivey Let S = (S, Σ, δS , s0 , FS ) and T = (T , Σ, δT , t0 , FT ) be two deterministic finite automata with the same alphabet Σ. We say S and T are equivalent if, Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2010-02-09 12:35:41 Equivalence relation Structure Deterministic finite automaton If and only if Complementation of Büchi automaton Finite state transducer Automata theory Mathematics Models of computation
468	Kybernetes Article Information: To cite this article: To copy this article: Andrew Adamatzky, (2012) "Exploring Discrete Add to Reading List Source URL: uncomp.uwe.ac.uk Language: English - Date: 2012-07-07 10:49:49 Cellular neural network Automata theory Cellular automata Cellular automaton Boolean network
469	Possibilities and Constraints of Basic Computational Units in Developmental Systems Konstantinos Antonakopoulos and Gunnar Tufte Norwegian University of Science and Technology Department of Computer and Information Scien Add to Reading List Source URL: www.nik.no Language: English - Date: 2009-10-22 05:22:48 Science Developmental biology Applied mathematics Networks Cybernetics Cellular neural network Artificial development Artificial neural network Cellular automaton Computational neuroscience Neural networks Biology
470	Parallelization of an Axially Symmetric Steady Flow Program* Norm Beekwilder Andrew S. Grimshaw Technical Report CS[removed]Department of Computer Science University of Virginia Add to Reading List Source URL: legion.virginia.edu Language: English - Date: 1998-12-07 09:58:04 Cellular automata Science Alpha particle Helium Radiation Particle Particle-in-cell Block cellular automaton Physics Computational physics Computational fluid dynamics

UPDATE