Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
91	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
92	On Pebble Automata for Data Languages with Decidable Emptiness Problem Tony Tan Department of Computer Science, Technion – Israel Institute of Technology School of Informatics, University of Edinburgh ni Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Symbol Automata theory Theoretical computer science Pebble automaton
93	An Automata Model for Trees with Ordered Data Values Tony Tan University of Edinburgh Edinburgh, UK Email: Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Mathematical logic Theoretical computer science Tree automaton Tree Linear temporal logic First-order logic Finite-state machine Context-free grammar T-tree Automata theory Mathematics Formal languages
94	Cellular Automata and the Mechanisms of Nature Based on Chapter 2: The Crucial Experiment, from A New Kind of Science by Stephen Wolfram If a cell and its neighbors look like this at one step Cellular automata are exampl Add to Reading List Source URL: www.wolframscience.com Language: English - Date: 2005-05-25 10:34:56 Science Cellular automaton Rule 30 Mathematics A New Kind of Science Rule 90 Pattern Stephen Wolfram Rule 184 Cellular automata Wolfram Research Systems theory
95	Alternating Automata Semantic Constructions for the Bounded Model Checking of Regular Linear Temporal Logic (Extended Version) Juli´an Samborski-Forlese IMDEA Software Institute, Madrid, Spain Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Büchi automaton Linear temporal logic Symbol Complementation of Büchi automaton Automata theory Theoretical computer science Formal methods
96	Skip to content servetulas.com/blog AS3 Playground Library Documentation Download Tutorials Add to Reading List Source URL: supervert.com Language: English - Date: 2014-04-27 09:16:41 3D computer graphics ZBrush Necrophilia Ars moriendi Computing Software Cellular automaton Unity
97	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
98	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 04:10:13 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
99	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods
100	•i. I PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABlE COMPONENTS Add to Reading List Source URL: arep.med.harvard.edu Language: English - Date: 2015-03-01 08:45:15 Logic Propositional calculus Automaton Quantum dot cellular automaton Automata theory Theory of computation Mathematical logic

UPDATE