Regular expressions. Closure properties. Sequential machines and finite state transducers. State minimization. Chomsky hierarchy grammars, pushdown acceptors and linear bounded automata. Closure ...

Charles Petzold's book The Annotated Turing, which covers Turing's 1936 paper on computable numbers and much of the background material needed to understand it, is more than decent. As a result, I was ...

When he invented Turing machines in 1936, Alan Turing also invented modern computing. In 1928, the German mathematicians David Hilbert and Wilhelm Ackermann proposed a question called the ...