Em 31:20, um dfa convertido de nfa sempre contém 2^q estados? Quero dizer, Q' é igual a P(Q) ou Q' é um 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']]