Null and Unit Productions
Automata Theory is a branch of computer science that deals with designing abstract self propelled Computing devices that follow a predetermined sequence of operations automatically. An automaton with a finite number of states is called a Finite Automaton (FA) or Finite State Machine (FSM).
The term "Automata" is derived from the Greek word "a?t?µata" which means "selfacting".