Theory Group

Documentation Update

Dylan began some .tex documentation and committed it to svn with general prose and a description of the Pairs SL_k algorithm. I've added a description of the Syntactic Monoid generation algorithm. Check out the source here.

I also added a link to the log-in for this blog from both the wiki and the home page.

slk.ml

I've committed slk.ml which, as the svn log message says, will possibly be the final resting place for our original syntactic monoid based algorithm. Right now the file features comments / documentation for most stuff though the full documentation for the ocaml-specific operation of the algorithm has been left for Dylan to fill in (as he may rework parts of the code before Wednesday afternoon).