regular_expression_repetition_intersection_nonemptiness (196B)
1 # Regular expression repetition intersection nonemptiness 2 3 it is [PSPACE_complete], cf https://cstheory.stackexchange.com/a/57014 4 5 Up: [regular_expression_repetition], [Intersection_nonemptiness]