On Wednesday 23 May 2007 13:29:55 Bob Calco wrote: > create the formal language specification You may want to look at the appendix of CTM. Best, Torsten -- Torsten Anders http://strasheela.sourceforge.net/ http://torsten-anders.de/