Regular Expression Quantifiers - at least m Occurrences

This is the second article on regular expression quantifiers. [4] introduced the quantifiers m to n occurrences and optional occurrence. In the sequel, the quantifiers: at least m occurrences and positive closure (at least 1 occurrence) are introduced. Notation and terminology were taken from [8], several properties of regular expressions from [7].

MML identifier: FLANG 3, version: 7.8.05 4.89.993