http://dbpedia.org/resource/Finite_state_space
data from the linked data cloud