NfaToDfaConvertorUtils finished