in reply to Regex for matching dotted numbers

/^([1-9]\d+|[0-7])(\.\d{1,3}){0,3}$/

Assumptions: