User:Siphayne/Books/aug132014


 * Regular expression
 * Formal language
 * Church–Turing thesis
 * Nim
 * Cellular automaton
 * Eulerian path
 * Lambda calculus