History: Number subgrammar

Source of version: 4

Here is an informal grammar of numbers. I am not even suggesting that this should be part of the formal grammar, it is just an exercise to sort out which combinations of PA make sense and which don't. I can make some sort of sense of all combinations generated by this grammar. As for those not generated by it, maybe some meaning could eventually be found for them, but there is nothing as yet defined as far as I can tell. pre-sign = (ji'i|su'e|su'o|me'i|za'u)... sign = ma'u|ni'u digit = no|pa|re|ci|vo|mu|xa|ze|bi|so|dau|fei|gai|jau|rei|vai|ki'o|xo indef = ro|so'a|so'e|so'i|so'o|so'u|su'o|da'a|no'o|rau|du'e|mo'a bare = [[digit...][[pi [[digit...][[ra'e digit...]]|[[pi] indef real = [[pre-sign][[sign][[bare|ci'i|pai|te'o][[ce'i] fraction = [[real][[fi'u real] complex = [[fraction][[ka'o fraction] | tu'o n-tuple = [[complex][[pi'e complex]... Notes: # I didn't put the indefinites at the same level as the digits, because it doesn't really make sense to me for ''so'a'' to stand for 8 or 9, ''so'e'' for 6 or 7, etc. To me they are always full numbers, not positional digits. # I allowed ''ce'i'' in a couple of weird places, for example you could say ''muce'ifi'ucice'i'', 5%/3%, which does not have a very obvious meaning, but to restrict ''ce'i'' more would have complicated the grammar a lot and it didn't seem justified. # I chose to make ''fi'u'' more close binding than ''ka'o''. Either choice was possible. So ''cika'ovofi'umu'' is 3+(4/5)i and not (3+4i)/5. # I didn't allow double fractions, so that 3/4/5 is neither (3/4)/5 nor 3/(4/5), it is simply not meaningful in my scheme. # I allowed fractions such as 3.5/2.7, why not? # Probably ''ji'i'' needs more work, but I didn't want it as a positional digit. # I left ''xo'' as a positional digit, but I have my doubts about it. Comments welcome! ''co'o mi'e ((xorxes))'' *((tinkit)) try ((xei)) instead of rei. xo really should be an indef. oh, and what's the initial non-terminal?

History

Enable pagination rows per page

HTML diff Side-by-side diff Side-by-side diff by characters Inline diff Inline diff by characters Full side-by-side diff Full side-by-side diff by characters Full inline diff Full inline diff by characters Unified diff Side-by-side view HTML diff Side-by-side diff Advanced

Information	Version
Thu 15 of Jul, 2004 21:09 GMT xorxes from 200.49.74.2	11
Tue 13 of Jul, 2004 14:07 GMT xorxes from 200.49.74.2	9
Tue 13 of Jul, 2004 13:27 GMT xorxes from 200.49.74.2	8
Tue 13 of Jul, 2004 02:07 GMT rab.spir from 66.92.73.176	7
Sat 10 of Jul, 2004 19:52 GMT xorxes from 200.43.74.114	6
Fri 09 of Jul, 2004 18:53 GMT rab.spir from 66.92.73.176	5
Fri 25 of Jun, 2004 18:56 GMT rab.spir from 128.31.7.133	4
Mon 22 of Sep, 2003 19:52 GMT admin from admin updated by the phpwiki import process	3
Fri 30 of Nov, 2001 12:31 GMT admin from admin created from phpwiki import	2

Select action to perform with checked... Remove OK