<--- Back to Details
First PageDocument Content
Computability theory / Models of computation / Computer science / Alan Turing / Formal methods / Computational complexity theory / Cellular automaton / Non-deterministic Turing machine / Busy beaver / Turing machine / Theory of computation / Theoretical computer science
Date: 2013-03-28 00:33:04
Computability theory
Models of computation
Computer science
Alan Turing
Formal methods
Computational complexity theory
Cellular automaton
Non-deterministic Turing machine
Busy beaver
Turing machine
Theory of computation
Theoretical computer science

A Turing Machine Resisting Isolated Bursts Of Faults

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Download Document from Source Website

File Size: 494,38 KB

Share Document on Facebook

Similar Documents

Computer science / Formal methods / Deterministic finite automaton / Nondeterministic finite automaton / Finite-state machine / X-machine / Non-deterministic Turing machine / Ω-automaton / Finite state transducer / Models of computation / Automata theory / Theoretical computer science

Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa

DocID: 190CW - View Document

Computability theory / Computer science / Alan Turing / Models of computation / Computability / Halting problem / Church–Turing thesis / Description number / Non-deterministic Turing machine / Turing machine / Theory of computation / Theoretical computer science

Models of Computation Lecture 6: Turing Machines [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. In particular, some topics still need to be written. Please send bug reports and suggest

DocID: 17WFK - View Document

Computability theory / Models of computation / Computer science / Alan Turing / Formal methods / Computational complexity theory / Cellular automaton / Non-deterministic Turing machine / Busy beaver / Turing machine / Theory of computation / Theoretical computer science

A Turing Machine Resisting Isolated Bursts Of Faults

DocID: 13Yi4 - View Document

Theoretical computer science / Pushdown automaton / Deterministic pushdown automaton / Nondeterministic finite automaton / Finite-state machine / Non-deterministic Turing machine / Turing machine / LL parser / LR parser / Theory of computation / Automata theory / Models of computation

Integrating Hands-on Work into the Formal Languages Course via Tools and Programming Susan H. Rodger Department of Computer Science Duke University Durham, NC[removed]

DocID: 10Uwh - View Document

Computer science / Alan Turing / Computational complexity theory / Read-only Turing machine / Non-deterministic Turing machine / Turing machine / Theory of computation / Theoretical computer science

Universal Turing Machine A Turing machine that is able to simulate any other Turing machine is called a Universal Turing machine. The concept of the Turing machine is based on the idea of a person executing a well-define

DocID: Swvm - View Document