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