Допустим, у нас есть два выражения, описывающих регулярные множества:

regExp1 = "a|ab" // цепочки: [a, ab]
regExp2 = "a+b?"  // цепочки: [a, ab, aa, aab, aabb, ...]

В данном случае, очевидно, что regExp1 описывает подмножество цепочек, описываемых regExp2. Существует ли формализованный подход к проверке данного отношения множеств по заданным регулярным выражениям?

И более общая задача: существует ли формализованный подход к автоматическому выводу регулярного выражения, описывающего пересечение множеств, определенных двумя другими регулярными выражениями?