Construção do Powerset de NFA para DFA: um algoritmo de determinação parcial com compromisso entre tempo de execução e tamanho dos autômatos resultantes?
Dado um NFA NNN e seu equivalente DFA DDD resultante da determinação total de NNN (usando a construção do conjunto de potências, por exemplo), as seguintes propriedades são válidas para NNN , DDD e para qualquer palavra www : NNN lêwww em tempo de execução, no