blob: 14ff265b92e01d5a687e614b5d3d9c8b86b45054 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# Ocaml playground
My little OCaml projects. IMHO OCaml is great for manipulating recursive data
structures, thus I'd like to get the hang of writing small programs fast.
## regex.ml
DFA to regex converter.
TODO:
- Reduce regexes that are concatenated with the empty regex
- Try adding more simple rules for reducing, for example `(e+a)((a*)(b)) == (a*b)`
- Expand the string_of_regex function, for example omit parenthesis around
concatenated letters (not as easy as I thought)
- Make some automaton parser
It created a not-so-long regex such that some online regex-to-dfa converter has successfully converted to DFA. Regex can be found in [results](/results).
|
