add, delete state, add transition, hash function