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