On Wed, Oct 29, 2008 at 12:19:35AM +0000, Minimiscience wrote: > de'i li 28 pi'e 10 pi'e 2008 la'o fy. Robin Lee Powell .fy. cusku > zoi skamyxatra. > > Your mission, should you choose to accept it, is to create a CFG > > for Lojban. > .skamyxatra > > Yacc/Bison input counts as a CFG, right?
Only if there's no actual C code injected anywhere, and you're not using tricks with error productions, which is how the current yacc works. If you can produce a yacc grammar with no auxilliary code, we would be *VERY* happy indeed, but I'm nearly certain that elidable terminators are not LR(1). If they are possible as a CFG, they almost certainly require LR(*) or LL(*), if not fully-general CFG parsing; see http://en.wikipedia.org/wiki/List_of_algorithms#Parsing for some general CFG possibilities. > I'm probably going to end up thinking about this problem nonstop > until ... uh ... I'm sorry, I got distracted thinking about > terminators. Heh. -Robin -- They say: "The first AIs will be built by the military as weapons." And I'm thinking: "Does it even occur to you to try for something other than the default outcome?" -- http://shorl.com/tydruhedufogre http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
