Implemented the star operation for NFAs