let print_output (memo:memoria) (maq:maquina)= if (is_accepted memo maq) then printf "YES\n" else printf"NO\n"