add concatenation
add star operation to FSM