Category: misc


Math - The RPN Nesting Problem



Navigation:    Index Top-Level Index Text Version (No Diffs)
Last Modified: Thu Oct 5 11:49:38 2006
 

-is: mi klama gi'ai nu le do klama gi'ai nu le cabna == le nu mi klama kei le nu do klama kei cabna OR == le nu do klama le nu mi klama kei kei cabna
-with regular RPN, this is solved by strict place structure requirements
-no Lojban solution has yet presented itself
-ex:
(3 (1 1 2 +) 4 ((2 5 +) (2 7 3 *) +) *)
-hell, just try: 1 7 (2 5 3 +) 4 *
-the problem may *always* be insoluble with variable numbers of args... Yeah, pretty sure. Without parens or other tricks, anyways
-we could mark how many arguments we're consuming. Parseable? Certainly parseable if we set a finite limit. Getting a bit pointless?
-just use the ".i le ni'ai go'i" trick, but that gets complicated with multiple args

-argument consumption markers
-pretend zilsumji takes inf args, and last arg is always result
-(1 2 (3 4 5 +) 6 7)+ 8 + 9 neg +
-have words for 0 (gi'ai), 1 (gi'au), 2 (gi'oi) and addt'l (xei), and all (gi'ui)
-li pa li re li ci li vo li mu zilsumji gi'oi xei ni'ai le li xa li ze zilsumji gi'ui ni'ai le li bi zilsumji gi'ai ni'ai le li so fatne? gi'au ni'ai le zilsumji gi'oi ni'ai le
-seems to work
-a bit clumsy, but no worse than 2 args required

Old Notes


-NU reverser? helps with RPN, also of general utility: mi klama lo nu gi'ai cabna do klama lo nu gi'ai
-what it does is "everything preceding goes in the NU just declared"
-this allows RPN: li'ai li pa li pa ziljmina li'ai gi'ai li pa ziljmina
-li pa li pa selsumji le ni gi'ai li pa selsumji le ni gi'ai
-need some clarity in "everything". probably "sentence". jcowan mentioned the gua!spi's version is like .i, which is prbably almost TRT
-NU uses subsentence, which is sentence + optional prenex
-it gets used in tanru-unit, which seems like it won't work here
- terms (or whatever's at the front of sentence) = ... / subsentence LE? tanru-unit(??) NU gi'ai
- BOGGLE: could just allow multiple selbri, if 2nd and up start with NU
-no, bad lookahead on say "broda nu lo brode"
-kpried's gi'ai:
-li pa li pa te sumji gi'ai nu'ui le = le nu'ui li ...
-li pa li pa te sumji gi'ai le = le sumji be ... (first unfilled place)
-broda gau gi'ai lo brode = lo jai gau broda cu brode