let gen_strings (l : lang) : string option = match l with
  | Unrestricted -> Some "a"
  | Machine m -> Nfa.gen_string m
  | _ -> raise (IllegalLangOp "gen_strings")