Committed some code that at least comes close to implementing the SL_k decision algorithm we have developed. I have been unable to make one_step catch exceptions from the find in the edgeMap, so the algorithm has stalled. If anyone can figure this out...
examples_nate.ml added to svn demonstrating pintupi with dylan's one_step.
nathan's FSA files added to svn.
Things to do before next meeting:
-Write the algorithm in ocaml
-add more stuff to SVN