Explain steps of conversion of nfa to dfa. Explain post's correspondence problems