Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
161	SMT-Based Synthesis of Distributed Systems∗ Bernd Finkbeiner Sven Schewe Universität des Saarlandes Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:35:50 Automata theory Symbol Ω-automaton
162	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
163	Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:08 Applied mathematics Nondeterministic finite automaton Powerset construction Deterministic finite automaton Regular expression Finite-state machine Regular language Symbol String Automata theory Theoretical computer science Computer science
164	Models of Computation Lecture 3: Finite-State Machines [Fa’14] Caveat lector! This is the first edition of this lecture note. A few topics are missing, and there are almost certainly a few serious errors. Please send Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:05 Computer science DFA minimization Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science
165	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Earth Environmental soil science Bacteriology Ecological restoration Environmental engineering Bacteria Bioremediation Soil contamination Cellular automaton Environment Microbiology Biology
166	PDF Document Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Mathematics Linguistics Cellular automaton Shape grammar Grammar L-system Formal grammar Syntax Genetic algorithm Formal languages Science Cybernetics
167	Lev V. Kalmykov1,2, Vyacheslav L. Kalmykov2,3 1Institute of Theoretical and Experimental Biophysics, Russian Academy of Sciences, Pushchino, Moscow Region, Russia. 2Pushchino State University, Pushchino, 142290, M Add to Reading List Source URL: precedings.nature.com Language: English Competition Ecology Landscape ecology Interspecific competition Competitive exclusion principle Ecological niche Cellular automaton Ficus Vegetative reproduction Biological interactions Biology Behavior
168	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
169	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. Add to Reading List Source URL: markburgess.org Language: English - Date: 2014-12-18 08:35:34 Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton

UPDATE