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