Lastly implemented the star operation for nfas, please check to make
sure these work once the other code is set because it's hard to test
these operations at the moment!