The automaton, which is sometimes used interchangably with machine, is one of the basic models of computation:
It can also be used as a powerful control structure, transcending the block-hierarchical paradigm of structured programming:
The need for such power is most often felt when parsing or doing IPC.