A unary operation on FSA. Let be a DFSA. Then is the FSA where .
Intuition
The start point is the end state of the original, and all end states loop back to the starting state of
A unary operation on FSA. Let M be a DFSA. Then M∗ is the FSA where L(M∗)=L(M)∗.
The start point is the end state of the original, and all end states loop back to the starting state of M