The objective of this course is to provide an introduction to the theory of computation. The course shall cover three branches of theoretical computer science and their interconnections: 1) the theory ...