Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
jeremykun.wordpress.com
|
|
| | | | | This half of the theory of computing primer will cover the various finite automata, including deterministic, nondeterministic, and pushdown automata. We devote the second half [upcoming] entirely to Turing machines and the halting problem, but to facilitate the discussion of Turing machines we rely on the intuition and notation developed here. Defining Computation The first... | |
| | | | |
rjlipton.com
|
|
| | | | | Another proof idea using finite automata Steve Cook proved three landmark theorems with 1971 dates. The first has been called a "surprising theorem": that any deterministic pushdown automaton with two-way input tape can be simulated in linear time by a random-access machine. This implies that string matching can be done in linear time, which inspired... | |
| | | | |
dabacon.org
|
|
| | | | | John Archibald Wheeler is a bit of a hero for me (and also, like all good heroes a bit of a villain). Discovering his paper "It from Bit" was definitely a huge inspiration for me to get... | |
| | | | |
www.laurentluce.com
|
|
| | | |||
