<--- Back to Details
First PageDocument Content
Models of computation / Computer science / Nondeterministic finite automaton / Turing machine / Finite-state machine / Symbol / Regular language / Quantum finite automata / Ω-automaton / Automata theory / Theory of computation / Theoretical computer science
Date: 2010-11-04 20:13:04
Models of computation
Computer science
Nondeterministic finite automaton
Turing machine
Finite-state machine
Symbol
Regular language
Quantum finite automata
Ω-automaton
Automata theory
Theory of computation
Theoretical computer science

Add to Reading List

Source URL: arxiv.org

Download Document from Source Website

File Size: 303,56 KB

Share Document on Facebook

Similar Documents

Finite automata / Formal languages / Regular language / Constructible universe / Tree automaton / Quantum finite automata

Average Analysis of Glushkov Automata under a BST-Like Model Cyril Nicaud1 , Carine Pivoteau1 , and Benoît Razet2 1 2

DocID: 1nGg0 - View Document

Parity game / Quantum field theory / Quantum mechanics / Determinacy / Ω-automaton / Automata theory / Parity / Solver / Physics / Game theory / Finite model theory

Solving Parity Games in Practice Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany Abstract. Parity games are 2-player games of perfect information and infinite duration that have

DocID: 19y9f - View Document

Models of computation / Quantum field theory / Nondeterministic finite automaton / Gδ set / Automata theory / Measure theory / Support

CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger†

DocID: 18vpz - View Document

Applied mathematics / Quantum mechanics / Quantum information theory / Information theory / Statistical mechanics / Quantum error correction / Density matrix / Von Neumann entropy / Qubit / Physics / Theoretical computer science / Quantum information science

Dense Quantum Coding and Quantum Finite Automata ANDRIS AMBAINIS Institute for Advanced Study, Princeton, New Jersey ASHWIN NAYAK California Institute of Technology, Pasadena, California

DocID: A5je - View Document

Automata theory / C++ / Scope / ALGOL 68 / C++ classes / Type inference / Quantum finite automata / Model checking / JavaScript / Software engineering / Programming language theory / Computing

TEMPO RELEASE NOTES v0.1.4 (BETA[removed]Recent Fixes (v0.1.4)

DocID: 6Q8U - View Document