Explore >> Select a destination
|
You are here 
|
jeremykun.wordpress.com | ||
| | | | |
www.jeremykun.com
|
|
| | | | | The first step in studying the sorts of possible computations (and more interestingly, those things which cannot be computed) is to define exactly what we mean by a "computation." At a high level, this is easy: a computation is simply a function. Given some input, produce the appropriate output. Unfortunately this is much too general. For instance, we could define almost anything we want in terms of functions. Let $ f$ be the function which accepts as input the date of California Super Lotto drawings, an... | |
| | | | |
deniskyashif.com
|
|
| | | | | In this article we learn how to implement a simple and efficient regular expression engine following the Thompson's construction algorithm. | |
| | | | |
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... | |
| | | | |
2ality.com
|
|
| | | In this blog post, we look at the ECMAScript proposal "RegExp v flag with set notation + properties of strings" by Markus Scherer and Mathias Bynens. | ||
