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