regular_expression_repetition (341B)
1 # Regular expression repetition 2 3 e^{p,q}: repeat e between p and q times 4 - p and q written in binary (concise) 5 6 Special case: [regular_expression_squaring] 7 8 Problems: 9 - [regular_expression_repetition_intersection_nonemptiness] 10 - for [language_universality], cf [regular_expression_squaring_universality] 11 12 Up: [regular_expression_extensions]