created a method to return a union of all NFA's derived from the spec file