Autômatos Finitos Não Determinísticos e Equivalência entre AFND e AFD