@bradlarsen i have a scala implementation that does this: https://github.com/non/antimirov
the real goal was being able to test regexes for equality/inclusion (i.e. subset/superset). it uses partial derivatives of regular expressions to try to do this efficiently. it does fairly well most of the time but in the worst case it is very slow