Commit d6579846 authored by POTTIER Francois's avatar POTTIER Francois

README.

parent a0afb3c2
......@@ -62,8 +62,9 @@ A few demos are provided:
* [`brz`](demos/brz) sets up a hash-consed representation of regular
expressions and shows how to convert a regular expression to a deterministic
finite-state automaton by Brzozowski's method. This demo exploits all of the
submodules listed above!
finite-state automaton by Brzozowski's method. This demo exploits almost all
of the submodules listed above, and is accompanied with
[a commentary](misc/post.md).
* [`cyk`](demos/cyk) presents a CYK-style parsing algorithm as an instance of
`Fix`.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment