This an excellent book. Basically, the whole point of it is to
mathematically define what a computer is and prove that it works. The
author does this by defining and manipulating mathematical alphabets and
languages without resorting to any kind of advanced math. Starting
from nothing, the whole thing leads up to Turing Machines...
0 comments:
Post a Comment