Semantics transformation of NFA to Z notation by constructing union of regular languages