Projděte si heslo Automata-based programming na anglické wikipedii:

http://en.wikipedia.org/wiki/Automata-based_programming