ao converter (diminuir) um autômato finito não deterministico(AFND), você transforma ele em um autômato finito deterministico(AFD); o autômato menor sempre será um AFD.