renamed sparse_array to sparse_vector, finished graphviz diagrams for current state machines