Displaying similar documents to “A number-theoretic conjecture and its implication for set theory.”

Regular Expression Quantifiers - m to n Occurrences

Michał Trybulec (2007)

Formalized Mathematics

Similarity:

This article includes proofs of several facts that are supplemental to the theorems proved in [10]. Next, it builds upon that theory to extend the framework for proving facts about formal languages in general and regular expression operators in particular. In this article, two quantifiers are defined and their properties are shown: m to n occurrences (or the union of a range of powers) and optional occurrence. Although optional occurrence is a special case of the previous operator (0...