let next (simb:simbolo)  (aqui:estado) (maq:maquina)= 
    let transicoes,b,c = maq in
    (assoc (aqui,simb) transicoes)