Encontrando o menor DFA que separa duas palavras sem usar a pesquisa de força bruta?
Dadas duas seqüências xey, eu quero criar um DFA de tamanho mínimo que aceite xe rejeite y. Uma maneira de fazer isso é a busca por força bruta. Você enumera o DFA começando pelo menor. Você tenta cada DFA até encontrar um que aceite xe rejeite y. Quero saber se existe outra maneira conhecida de...