Displaying similar documents to “A Gel'fand model for a Weyl group of type B n .”

Regular Expression Quantifiers - at least m Occurrences

Michał Trybulec (2008)

Formalized Mathematics


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