<--- 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

National symbols of Canada / Beaver / North American beaver / Busy beaver / Biota / Fauna of the United States

BEAVERS Discovery Box Checklist Contents current as ofPrinted Items_ ________Read Me First Sheet ________GPNC brochures

DocID: 1qciC - View Document

Theory of computation / Computability theory / Busy beaver / Computable function / Computability / Turing machine / Halting problem / Hypercomputation / Computable number / Algorithm / Alan Turing / Ackermann function

Who Can Name the Bigger Number? Scott Aaronson∗ 1999 In an old joke, two noblemen vie to name the bigger number. The first, after ruminating for hours, triumphantly announces ”Eighty-three!” The second,

DocID: 1oyBY - View Document

Conquering the Busy Beaver presented by Kyle Ross th 4 December 2002 Bram van Heuveln Boleshaw Szymanski

DocID: 1obV7 - View Document

Mathematics / Theoretical computer science / Computability theory / Mathematical logic / Theory of computation / Turing machine / Models of computation / Busy beaver / Halting problem / ZermeloFraenkel set theory / Computability / Computable function

A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory Adam Yedidia Scott Aaronson

DocID: 1o4E0 - View Document

Solving Busy Beaver Problem using Farmer/Worker Scheme in the context of Worldwide Computer Boleslaw Szymanski Bram van Heuveln Carlos Varela

DocID: 1o3Xv - View Document