From most specific (innermost) to most general (outermost) the areas of automata theory are as follows.
truth table (combinational) logic
finite state machines (regular languages)
pushdown automata (context free languages)
Turing machine (general computing)
