Automata - PDFSEARCH.IO - Document Search Engine

Automata
Results: 1989

#	Item
981	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
982	PDF Document Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2012-01-17 04:43:03 Configuration graph Determinacy Combinatorial game theory Automata theory Models of computation Finite model theory Game theory Parity game
983	Complex Behavior in Long-Distance Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-09-26 15:56:01 Computability theory Systems Complex systems theory Rule 110 Rule 30 L-system Turing machine Complex system Function Mathematics Theory of computation Cellular automaton
984	Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes Pieter Hooimeijer ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 16:49:04 Symbol Regular language Automata theory Formal languages Finite state transducer
985	On Compact Directed Acyclic Word Graphs Maxime Crochemore and Renaud Verin Institut Gaspard Monge Universite de Marne-La-Vallee, 2, rue de la Butte Verte, FNoisy-Le-Grand. http://www-igm.univ-mlv.fr Add to Reading List Source URL: www.gtoal.com Language: English - Date: 2008-10-12 12:37:51 Models of computation Directed graph Mathematics Computer science Automata theory Theoretical computer science Directed acyclic word graph
986	Subtree and Tree Pattern Pushdown Automata for Trees In Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:50 A Finite-state machine Automata theory Models of computation Pushdown automaton
987	A Hybrid Synchronous Language with Hierarchical Automata∗ Static Typing and Translation to Synchronous Code Albert Benveniste Timothy Bourke† Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Derivative Expected value Analysis State space Differential equations Hybrid automaton Automata theory Mathematical analysis Mathematics Control theory
988	Review1 of Algorithmic Bioprocesses by Condon, Harel, Kok, Salomaa, Winfree, eds. Springer, pages, hardcover Review by Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-08-01 14:42:43 Theory of computation Computer science Natural computing Cellular automaton P system Automata theory Membrane computing Turing machine Finite-state machine Models of computation Theoretical computer science Applied mathematics
989	Eppur si muove After the success of multi-award winning film Hugo, automata – those mysterious creatures created by inventors dreaming of a world of selfoperating machines – are back in the spotlight. A threefold exh Add to Reading List Source URL: patagoniashop.com Language: English - Date: 2012-08-23 18:09:00 Pierre Jaquet-Droz Europe Neuchâtel Automaton La Chaux-de-Fonds Le Locle Droz Film Music box Municipalities of the canton of Neuchâtel Automation Technology
990	Building the Minimal Automaton of AX in Linear Time, when X is of Bounded Cardinality Add to Reading List Source URL: www.cs.ucr.edu Language: English* - Date: 2010-08-20 17:45:56 Aho–Corasick string matching algorithm Mathematics Deterministic automaton Computer science Regular language Alphabet Models of computation Automata theory Formal languages Theoretical computer science

UPDATE