Automata theory deals with designing abstract computing devices to develop methods to describe and analyze the dynamic behavior of discrete systems.