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