automata are essential for the study of the limits of computation: dicidability and intractability.
2 important notations that play an important role in automata:
1), grammars are useful models when designing software that proceses data with a recursive structure. example: parser.
2), regular expressions denote the structure of data.
