Sciweavers

429 search results - page 10 / 86
» Noisy Turing Machines
Sort
View
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 2 months ago
Reactive Turing Machines
Jos C. M. Baeten, Bas Luttik, Paul van Tilburg
TCS
2010
13 years 2 months ago
Theory of one-tape linear-time Turing machines
Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin
MFCS
2000
Springer
13 years 11 months ago
On the Autoreducibility of Random Sequences
Abstract. A binary sequence A = A(0)A(1) . . . is called infinitely often (i.o.) Turing-autoreducible if A is reducible to itself via an oracle Turing machine that never queries it...
Todd Ebert, Heribert Vollmer
SIGCSE
2006
ACM
128views Education» more  SIGCSE 2006»
14 years 1 months ago
Turning automata theory into a hands-on course
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
Susan H. Rodger, Bart Bressler, Thomas Finley, Ste...
CSL
2005
Springer
14 years 28 days ago
Computing with Sequences, Weak Topologies and the Axiom of Choice
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
Vasco Brattka, Matthias Schröder