regular_expression_squaring (248B)
1 # Regular expression squaring 2 3 [regular_expression] augmented with [squaring] operator 4 5 makes [language_inclusion] and [language_universality] [EXPSPACE_complete], cf https://cstheory.stackexchange.com/a/40250 6 7 Up: [regular_expression], [squaring]