A las 31:20, ¿un dfa convertido desde nfa siempre contiene 2^q estados? Quiero decir, ¿Q' es igual a P(Q) o Q' es un subconjunto de P(Q)?####[['dfa', 'Mathematical_Related_Concept', 'NEU'], ['nfa', 'Mathematical_Related_Concept', 'NEU'], ['2^q estados', 'Mathematical_Related_Concept', 'NEU'], ['P(Q', 'Mathematical_Related_Concept', 'NEU'], ["Q'", 'Mathematical_Related_Concept', 'NEU']]