Automaton - PDFSEARCH.IO - Document Search Engine

Automaton
Results: 1066

#	Item
841	Deciding equivalence using type checking Colin Stirling [removed] LFCS School of Informatics University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-30 04:38:21 Model checking Finite-state machine Automata theory Models of computation Deterministic pushdown automaton
842	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Press[removed]pp 9–14 1 Complexity Classes in Three-dimensional Gravitational Agents Jean-Claude Heudin Add to Reading List Source URL: www.alife.org Language: English - Date: 2013-01-14 08:20:35 Chaos theory Structure Systems science Complex systems theory Cybernetics Agent-based model Dynamical system Emergence Cellular automaton Systems theory Science Systems
843	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
844	He_Kapur - Formalization using Organic Systemization in Musical Applications _Camera-ready_ - Copy Add to Reading List Source URL: 2013.xcoax.org Language: English - Date: 2013-05-23 05:12:43 Cellular automata Cellular automaton Monome Still life MIDI Open Sound Control Electronic musical instruments Computer hardware Computer peripherals
845	Evolutionary Ecology Research, 2009, 11: 355–370 Peaks, plateaus, canyons, and craters: the complex geometry of simple mid-domain effect models Robert K. Colwell1, Nicholas J. Gotelli2, Carsten Rahbek3, 4 Add to Reading List Source URL: www.garyentsminger.com Language: English - Date: 2013-01-28 16:54:54 Latitudinal gradients in species diversity Species richness Species distribution Macroecology Grid cell Biological dispersal Cellular automaton Pattern Biology Ecology Biodiversity
846	Dynamic Path Planning for a Mobile Automaton with Limited Information on the Environment Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-03-07 00:00:00 Motion planning Routing algorithms Algorithm Search algorithms Theoretical computer science Mathematics Applied mathematics
847	series-parallel-loop construction (3.5, 3.6) ≥ NFA ⊃ Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:15 Applied mathematics Nondeterministic finite automaton Deterministic finite automaton Powerset construction Regular expression Regular language Automata theory Theoretical computer science Computer science
848	Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2005-11-28 16:45:08 Combinatorics Mathematics Regular expression Alphabet Finite-state machine Regular language Theory of computation Kleene star Nondeterministic finite automaton Automata theory Formal languages Theoretical computer science
849	jn[removed]Finite state machines (fsm, sequential machines): examples and applications Goal of this chapter: fsm’s are everywhere in our technical world! Learn how to work with them. 2.1 Example: Design a finite Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:13 Finite-state machine Nondeterministic finite automaton Deterministic finite automaton Applied mathematics Function Counter Automata theory Models of computation Mathematics
850	jn[removed]Finite automata with external storage Concepts of this chapter: Finite automata with external storage of unbounded capacity, subject to various access restrictions that limit the automa’s power of compu Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:14 Theoretical computer science Deterministic pushdown automaton Nondeterministic finite automaton Finite-state machine Turing machine Linear bounded automaton Alphabet Queue automaton Counter automaton Automata theory Theory of computation Models of computation

UPDATE