Logica predicatelor - Tema 11

0. Citiți cursul Familiarizați-vă cu automatele și expresiile regulate și cu modul de transformare din NFA în DFA, de a scrie o expresie regulată și câteva șiruri generate de ea.

1. Comentarii Completați automatul dat cu stări și tranziții astfel încât să urmărească ambele tipuri de comentarii din C. Desenați automatul rezultat.

type state = In | Out | Slash  (* de completat cu alte stari *)

let delta = function        (* function: state -> char -> state *)
  | In -> (function
             | '\n' -> Out
             | _ -> In)
  | Out -> (function
             | '/' -> Slash
             | _ -> Out)
  | Slash -> (function
               | '/' -> In
               | _ -> Out)

let fold_in f =         (* similar cu fold_left, dar pe sirul caracterelor citite din intrare *)
  let rec fold1 v =     (* calculeaza f (f (f (v c1) c2) c3 ... *)
    (try let c = input_char stdin in    (* incearca citirea unui nou caracter c *)
         fun () -> fold1 (f v c)        (* reusit: continua cu acumulatorul f v c *)
     with _ -> fun () -> v) ()          (* exceptie la sfarsit: returneaza acumulatorul *)
  in fold1

(* starea acceptoare e Out -- textul se termina afara din comentariu *)
  
let _ = print_endline (if fold_in delta Out = Out then "OK" else "ends in comment")