Inspirado por esta pergunta , estou curioso sobre o seguinte:
Qual é a pior complexidade possível de verificar se um determinado DFA aceita o mesmo idioma que uma determinada expressão regular?
Isso é conhecido? A esperança seria que esse problema estivesse em P - que houvesse um polinômio de algoritmo no tamanho de ambos.