- From: W Naylor <wn@cs.bath.ac.uk>
- Date: Fri, 31 Mar 2006 11:31:16 +0100 (BST)
- To: Paul Libbrecht <paul@activemath.org>
- cc: Richard Kaye <R.W.Kaye@bham.ac.uk>, Public MathML mailing list <www-math@w3.org>
On Thu, 30 Mar 2006, Paul Libbrecht wrote: > > Bill, can you detail how different such a configuration file would be from a > complete parser to content ? (say, as a CAS-parser, or as QMath) ? > > I believe there's none except that parsers to content need to be complete. Do > I mistake ? > I believe that the configuration files could be a lot simpler than a parser, as they only need to say what rules should be satisfied rather than how to do it. There is a slight parallel with an OpenMath <-> Maple translator developed at ORCCA (UWO), though I don't know of any documentation for that, of course precedense is not an issue with OpenMath (since OpenMath follows a standard model), but it is for Maple. I do recall that these configuration files did have a means for including Maple code (so could be arbitarily complex). The actual translator code used these configuaration files as a resource. Your point about the config files not needing to be complete, is important and in fact necessary, because this allows the config files to be extensible, as and when new operators or uses for operators become available, Bill > thanks > > paul > > W Naylor wrote: > > Your point is perfectly valid, if you look at my earlier mail, I say: > > > > "In order for the machine generated MathML to include mrows at the > > appropriate places, it would be necessary to pay attention to precedence > > rules. It strikes me that though many of these are fairly universal, we > > hit the usual ambiguity of presentation mathematics problem. Maybe this > > could be circumvented using configuration files of some sort." > > > > this was the problem that I was suggesting could be circumvented by using > > some sort of configuration files, I am not aware however of any > > conventions/standards for the format of config files for stating these > > rules, maybe someone else has some experience here? > > > > > > > -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-* - - Dr. W.A. Naylor - - http://www.cs.bath.ac.uk/~wn - http://orcca.on.ca/~bill - - work tel: +44 1225 386183 - -*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
Received on Friday, 31 March 2006 10:31:29 UTC