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 ...

Howard Straubing and Pascal Weil. An introduction to finite automata and their connection to logic, in Modern applications of automata theory (D. D'Souza, Priti Shankar eds), IISc Research Monographs ...