Talk:Recursive categorical syntax

READ THIS
The formalism as presented on the page prior to my edit was not the formalism presented in the works cited by the article. As such, the erroneous information has been removed. If anyone knows where the original information came from, or what framework it was on, it would be good to make a page with that information, but this isn't that page. Augur (talk) 18:27, 19 August 2010 (UTC)

ToDo

 * Need to add explanation of how up and down arrows are used. For example, link grammar only uses two arrow types (left, right), so why are more arrow types needed?


 * Provide discussion of relationship to dependency grammar and link grammar. At the current level of this article, I can't tell how these theories differ, or why.


 * Correction: I think the correct wikilink is magma (algebra) not groupoid. In fact, since the thing has identities and division, the correct name for the mathematical structure is quasigroup or loop (algebra), right? The problem here is that the word "groupoid" is applied to a lot of different things; mathematical terminology has changed over the last few decades, and what used to be called groupoids are now more strictly classified as monoids, magmas or quasigroups.


 * Downplay the groupoid/magma aspect of the theory ... It would seem to me that any dependency grammar would be a magma... So what? The thing that makes the theory useful for linguistics is the set of lex orders that are equivalent to the element S (the sentence), right?  Do we get extra benefit from knowing its a magma or quasigroup? (if, for example, it had been a monoid, then the connection to finite state machines would have been extremely significant... but here, I see no such significant correspondence...)


 * Use recursion to show that a lexicon can generate an infinite grammar and currying to deal with lexes that take multiple complements. (Why? Isn't this obvious and implicit already, from the mathematical definition?)

Thanks. linas (talk) 16:29, 24 March 2008 (UTC)

Comments
Please don't dumb down this page; it is not too technical. I know nothing about this, yet it's intuitive from the example, how the VP-> cancels with the <-VP, etc. It resembles a kind of organic chemistry whereby the elements have certain "valences" and "react" with other elements to synthesize molecules. Very neat.


 * I agree. Unless someone objects, I am going to wait seven days and then remove the tag. Guy Macon (talk) 08:28, 10 March 2011 (UTC)
 * Removing tag now. Guy Macon (talk) 18:35, 19 March 2011 (UTC)


 * I am removing this page again. You're apparently not reading the comments I made above: the page contains content that is *not* about Recursive Categorical Syntax but about some other formalism. Augur (talk) 18:50, 30 May 2011 (UTC)