Просто есть задача — есть регэксп 1 и есть 2й. К ним на вход поступает один и тот же набор данных. Нужно _Быть_Уверенным_ в том, что оба регэкспа не словят одну и ту же строку.
Вот и вся постановка, собственно.
А второй вариант? Спасибо и за первый, и за наводку!
Если можно, конечно, было бы просто супер в случае примера: возьмем 2 регэкспа — r"\d" и r"\s" (очевидно, что элементов тут общих быть не может… т.к. одно — пробельные символы, другое — числа). Но как это доказать, на примере конечных автоматов и «проблемы пустоты языка»?