wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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]