Chapter 1

Theory of Automata

This is a theoretical branch of Computer Science that deals with abstract machines called automata. These machines help us understand what can be computed and how efficiently.

This involves designing models that take input, transition through states and produce output to solve computational problems.

You will learn about some early models of automata, their limitations and new models that evolve from early models.