NFA examples