let print_output (maq:maquina) (config:configuracao)= (if (is_accepted maq config) then "YES" else "NO") |> print_endline