A unary operation on FSA. Let be a DFSA. Then is the FSA where .