The theory of computation is defined as a theory designed at obtaining a way to handle the construction of computation. The most significant pursuit of the theory of computation is: ""Are there, at this time, any problems that computer units cannot really come up with a resolution for?"" This book explores this subject.