http://dbpedia.org/resource/Finite-state_machine Finite-state machine