В 31:20 всегда ли dfa, преобразованный из nfa, содержит 2^q состояний? Я имею в виду, Q' равно P(Q) или Q' является подмножеством P(Q)?####[['dfa', 'Mathematical_Related_Concept', 'NEU'], ['nfa', 'Mathematical_Related_Concept', 'NEU'], ['2^q состояний', 'Mathematical_Related_Concept', 'NEU'], ['P(Q', 'Mathematical_Related_Concept', 'NEU'], ["Q'", 'Mathematical_Related_Concept', 'NEU']]