conversor de automatos AFND para AFD