fixed data strucutre and dfaToDFA'