Calculate if two infinite regex solution sets don't intersect
问题 In calculate if two arbitrary regular expressions have any overlapping solutions (assuming it's possible). For example these two regular expressions can be shown to have no intersections by brute force because the two solution sets are calculable because it's finite. ^1(11){0,1000}$ ∩ ^(11){0,1000}$ = {} {1,111, ..., ..111} ∩ {11,1111, ..., ...11} = {} {} = {} But replacing the {0,1000} by * remove the possibility for a brute force solution, so a smarter algorithm must be created. ^1(11)*$ ∩