intermediário
Equivalência entre AFD e AFN
Demonstração teórica da equivalência de poder de expressão.
📝 Prompt İçeriği
Descreva o algoritmo de construção de subconjuntos (subset construction) teoricamente, provando que para qualquer Autômato Finito Não-Determinístico (AFN) existe um Autômato Finito Determinístico (AFD) equivalente que reconhece a mesma linguagem.