Simulation of Two-Way Pushdown Automata Revisited Robert Gl¨uck DIKU, Dept. of Computer Science, University of Copenhagen Dedicated to David A. Schmidt on the Occasion of his 60th Birthday

Source URL: arxiv.org

• Models of computation
• Formal languages
• Theoretical computer science
• Pushdown automaton
• Automata theory
• Deterministic pushdown automaton
• Computability
• Language
• Deterministic context-free language
• Deterministic automaton
• Culture
• NPDA

Atlas of Science Visualizing What We Know Cartographic maps have guided our explorations for centuries, allowing us to navigate the world. Science maps have the potential to guide our search for knowledge in the same wa

Source URL: cns.iu.edu

• American Association for the Advancement of Science
• Katy Brner
• Indiana University
• Places & Spaces: Mapping Science
• Science and technology
• Atlas
• Cellular automaton
• Information science
• Informatics
• Science
• Cognition

Pushdown Automata on (PDA) is essentially an A pushdown automata -NFA with a stack. On a transition the PDA:

Source URL: www.cs.ucr.edu

• Formal languages
• Models of computation
• Combinatorics
• Z0
• Stack
• Personal digital assistant
• Alphabet
• Mathematics
• Discrete mathematics
• Deterministic pushdown automaton
• Pushdown automaton

Vorwort Die bisherigen Theorietage "Automaton und Forrnale Sprachen" fanden in l\1agdeburg (Septemberund Kiel (Oktoberstatt. Im Oktober 1992 wurde die Tradition im Internationalen Begegnl~.ngs- und Forsch

Source URL: fg-afs.gi.de

Conservation Laws and Invariant Measures in Surjective Cellular Automata Jarkko Kari1† and Siamak Taati2‡ 1 2

Source URL: www.staff.science.uu.nl

• Mathematics
• Mathematical analysis
• Markov processes
• Functional analysis
• Combinatorics on words
• Smooth functions
• Dynamical system
• Distribution
• Valuation
• Reversible cellular automaton
• Subshift of finite type
• Cellular automaton

Perspective Communicative & Integrative Biology 5:6, 519–526; November/December 2012 © 2012 Landes Bioscience Finding and defining the natural automata acting in living plants Toward the synthetic biology for robotics

Source URL: www.linv.org

• Finite automata
• Moore machine
• Mealy machine
• Finite-state machine
• Indole-3-acetic acid
• Cellular automaton
• Automata
• Peroxide
• State transition table
• Natural computing
• Q0

Performance Enhancement with Speculative Execution Based Parallelism for Processing Large-scale XML-based Application Data Michael R. Head

Source URL: www.cs.binghamton.edu

• Finite automata
• Compiler construction
• Parallel computing
• Analysis of parallel algorithms
• Speedup
• VTD-XML
• Concurrent data structure
• Finite-state machine
• Regular expression
• Deterministic finite automaton
• Parsing
• XML schema

Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike,

Source URL: www.cs.binghamton.edu

• Finite automata
• Parallel computing
• Microprocessors
• Analysis of parallel algorithms
• Nondeterministic finite automaton
• Multi-core processor
• Thread
• Regular expression
• Finite-state machine
• Speedup
• Deterministic finite automaton
• Multiprocessing

Robotics: Science and Systems (RSS), 2013 Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗

Source URL: www.neil.dantam.name

• Formal languages
• Compiler construction
• LR parser
• LL parser
• Parsing
• Context-free grammar
• Robotics
• Recursive descent parser
• Formal grammar
• Humanoid robot
• Pushdown automaton
• LL grammar

Parallel Processing of Large-Scale XML-Based Application Documents on Multi-core Architectures with PiXiMaL Michael R. Head† Madhusudhan Govindaraju‡ Grid Computing Research Laboratory, SUNY Binghamton, NY {† mike,

Source URL: www.cs.binghamton.edu

• Finite automata
• Parallel computing
• Microprocessors
• Analysis of parallel algorithms
• Nondeterministic finite automaton
• Multi-core processor
• Thread
• Regular expression
• Finite-state machine
• Speedup
• Deterministic finite automaton
• Multiprocessing