Попытка найти алгоритм, который принимает 2 регулярных выражения и сообщает, эквивалентны ли они

Я пытаюсь выяснить, каким будет алгоритм, давая два языка L1 и L2, чтобы определить, эквивалентны ли они (L1 = L2

Как я обнаружил, это на удивление сложно придумать, хотя я почти уверен, что его нужно сначала преобразовать в DFA, а затем уменьшить каждый из них до минимального DFA.

Кроме того, Я знаю, что если L1 - L2 и L2 - L1 пусты, то L1 = L2.

Кто-нибудь здесь разбирается в теории?