CS–172 Computability & Complexity, FallMinimizing Finite Automata Given a DFA M , can we find an equivalent DFA (i.e., one that recognizes the same language as M ) with the minimum possible number of states? Thi

Source URL: www-inst.eecs.berkeley.edu

A CHARACTERIZATION OF p-AUTOMATIC SEQUENCES AS COLUMNS OF LINEAR CELLULAR AUTOMATA ERIC ROWLAND AND REEM YASSAWI Abstract. We show that a sequence over a finite field Fq of characteristic p is p-automatic if and only if

Source URL: thales.math.uqam.ca

Journal of Automata, Languages and Combinatorics, 97–115 c Otto-von-Guericke-Universit¨ at Magdeburg TWO-WAY FINITE AUTOMATA

Source URL: lambda-diode.com

Secure Outsourcing of DNA Searching via Finite Automata Marina Blanton and Mehrdad Aliasgari Department of Computer Science and Engineering, University of Notre Dame, {mblanton,maliasga}@cse.nd.edu

Source URL: www.cse.nd.edu

Publications in Conference Proceedings or Collections [91] H. Bordihn, H. Jürgensen, H. Ritter: Soliton automata with multiple waves. In C. S. Calude, R. Freivalds, I. Kazuo (editors): Computing with New Resources: Essa

Source URL: www.csd.uwo.ca

Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,

Source URL: www.mimuw.edu.pl

FSFMA 2013 16th July 2013 Singapore Dynamic Clock Elimination in Parametric Timed Automata

Source URL: lipn.univ-paris13.fr

ATVA 2013 18th October 2013 Hà Nội, Việt Nam Merge and Conquer State Merging in Parametric Timed Automata

Source URL: lipn.univ-paris13.fr

Computation Power of Randomization and Nondeterminism 2 Scientific Work

Source URL: www.ite.ethz.ch

• Complexity classes
• Computational complexity theory
• Finite automata
• Models of computation
• Analysis of algorithms
• Nondeterminism
• NL
• Randomized algorithm
• Automata theory
• Theory of computation
• Communication complexity
• NP

Neurocomputing 58– – 71 www.elsevier.com/locate/neucom Switching between memories in neural automata with synaptic noise

Source URL: ergodic.ugr.es