Datastructure and operations between FSA