Theory Group 2008-04-23T18:41:16Z Discussion of theory group research at Earlham College tag:www.cs.earlham.edu,2008:/applied-groups/theory/8 Movable Type Copyright (c) 2008, nate Documentation Update 2008-04-23T18:41:16Z 2008-04-23T14:41:16-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.452 2008-04-23T18:41:16Z 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... nate nate@cs.earlham.edu 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 2008-04-22T04:07:54Z 2008-04-22T00:07:54-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.451 2008-04-22T04:07:54Z 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... nksmith06 nksmith06@earlham.edu code 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).

]]> SL_k decider 2008-03-14T14:58:02Z 2008-03-14T10:58:02-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.450 2008-03-14T14:58:02Z 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... leemady leemady@cs.earlham.edu code 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...

]]> modified example, svn added 2008-03-05T21:47:12Z 2008-03-05T16:47:12-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.449 2008-03-05T21:47:12Z 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... nate nate@cs.earlham.edu 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

]]> Ocaml one_step success 2008-02-20T21:03:39Z 2008-02-20T16:03:39-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.448 2008-02-20T21:03:39Z By forcing ocamlc to generate a .cmi from a .ml as opposed to a .mli (by renaming acceptors.mli to something else and retaining only acceptors.ml) we were able to get the .cmo to properly compile with one_step. we tested the... nate nate@cs.earlham.edu code By forcing ocamlc to generate a .cmi from a .ml as opposed to a .mli (by renaming acceptors.mli to something else and retaining only acceptors.ml) we were able to get the .cmo to properly compile with one_step. we tested the function from the examples.ml file and it seems to work.

we need to investigate the compile sequence done by the makefile to determine why, originally, our modified .mli was not being compiled into a proper .cmi file. Then we can compile a .cmi from acceptors.cmi and, subsequently, a .cmo.

]]> TG v2.0 2008-02-20T20:11:57Z 2008-02-20T15:11:57-05:00 tag:www.cs.earlham.edu,2008:/applied-groups/theory/8.447 2008-02-20T20:11:57Z Starting here on the Local Languages project... jrogers http://www.cs.earlham.edu/~jrogers/ jrogers@cs.earlham.edu Administrivia Starting here on the Local Languages project

]]> End of Semester Notes 2004-11-30T17:35:51Z 2004-11-30T12:35:51-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.329 2004-11-30T17:35:51Z We spent most of our semester recovering from the summer by completing the 2 papers, working on our talks for MCURCSM and preparing posters for display at Earlham. Looking forward to next semester we have outlined what we have accomplished... lemanal http://www.cs.earlham.edu/~lemanal/ lemanal@earlham.edu We spent most of our semester recovering from the summer by completing the 2 papers, working on our talks for MCURCSM and preparing posters for display at Earlham. Looking forward to next semester we have outlined what we have accomplished as well as some long term and short term goals.

completed:
internal/external representation of trees
project n -> n-1
CNF transformation, embed
arbitrary dimensional recognizer
graphical output up to 3d
3d inference rules and CKY algorithm

todo:
excavate
proof that excavate is inverse of embed
project's correctness?
rec's correctness?
higher dimensional graphical output (recursive, bottom up?)
generalize to 4d....nd assuming 2branching

think about over break:
revisit 3d inference rules w/ left child right sibling form in mind
compare ours to TAG inference rules from Shieber, Schabes, Pereira

read over break:
big paper-- representing mdtrees
inference rules
review work from summer (blog)

]]> Final version +/- 1 2004-09-17T14:18:32Z 2004-09-17T10:18:32-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.275 2004-09-17T14:18:32Z Here is the paper with the abstract added. We also ran it through the spellchecker and fixed five or six spelling errors. Embed... kernco kernco@earlham.edu General Comments Here is the paper with the abstract added. We also ran it through the spellchecker and fixed five or six spelling errors.
Embed

]]> representing multidimensional trees 2004-09-17T03:58:45Z 2004-09-16T23:58:45-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.273 2004-09-17T03:58:45Z Probably the last post for comments on treeconstruction.ps. We changed some wording and a lot of spacing this time. Tomorrow we need to come up with an abstract, but it should fit. The latest copies of each paper is in... lemanal http://www.cs.earlham.edu/~lemanal/ lemanal@earlham.edu Probably the last post for comments on treeconstruction.ps. We changed some wording and a lot of spacing this time. Tomorrow we need to come up with an abstract, but it should fit. The latest copies of each paper is in the shelf in the cs lounge. you guys can pick up the ones that you didn't get tonight.


treeconstruction.ps

]]> Getting close... 2004-09-17T02:58:25Z 2004-09-16T22:58:25-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.272 2004-09-17T02:58:25Z Here are our Thursday night revisions: Download file... kernco kernco@earlham.edu Here are our Thursday night revisions:
Download file

]]> More Embed changes 2004-09-16T20:05:42Z 2004-09-16T16:05:42-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.271 2004-09-16T20:05:42Z Here is the postscript with the changes Greg made. Download file... kernco kernco@earlham.edu General Comments Here is the postscript with the changes Greg made.
Download file

]]> Changes 2004-09-16T15:45:53Z 2004-09-16T11:45:53-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.270 2004-09-16T15:45:53Z Here is the paper with the first set of changes (figures and section 4 on). Greg, the tex file with my changes is in my root directory (kernco). Embed... kernco kernco@earlham.edu Request for information Here is the paper with the first set of changes (figures and section 4 on). Greg, the tex file with my changes is in my root directory (kernco).
Embed

]]> paper revision 2004-09-16T02:24:40Z 2004-09-15T22:24:40-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.269 2004-09-16T02:24:40Z We've made more revisions to the paper including citations, spacing, conclusion, and small changes to wording. treeconstruction.ps... lemanal http://www.cs.earlham.edu/~lemanal/ lemanal@earlham.edu We've made more revisions to the paper including citations, spacing, conclusion, and small changes to wording.

treeconstruction.ps

]]> Embed paper 2004-09-14T19:53:18Z 2004-09-14T15:53:18-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.267 2004-09-14T19:53:18Z Here is the progress we made today. I think we took care of everything we talked about in our meeting this morning. Embed paper... kernco kernco@earlham.edu Request for information Here is the progress we made today. I think we took care of everything we talked about in our meeting this morning.
Embed paper

]]> Tree Construction (Now With Citations) 2004-09-14T17:49:02Z 2004-09-14T13:49:02-05:00 tag:www.cs.earlham.edu,2004:/applied-groups/theory/8.266 2004-09-14T17:49:02Z Here's the latest (pre-2:30pm meeting) draft of the Tree Construction paper. The TeX source is in ~brownda/treeconstruction.... brownda dave@spoonguard.org Here's the latest (pre-2:30pm meeting) draft of the Tree Construction paper. The TeX source is in ~brownda/treeconstruction.

]]> I've added relevant citations, and fixed two remaining errors (adding "all" to "for j < i", and removing the unnecessary explanation of Corrolary 1.

Download file (treeconstruction09142004.pdf)

]]>