let is_accepted (memo:memoria) (maq:maquina) =
  let (aqui, restante) = memo in
  let (trans,init,accept)= maq in
  (mem aqui accept)&&(restante=[])