[01:31:27] I didn't understand that gf had context-free BNF grammars under the hood, though I suspected that it did because it could generate them. [09:18:59] well actually it has pmcfg under the hood, those are even weirder looking [09:20:06] but the point of one rule in GF source translating into many rules, and one gf category into many categories holds [09:21:20] I'm actually not sure if the BNF translation is 100% equivalent to the original; probably in some cases it is more overgenerating [09:21:52] cause GF source code can do stuff like omit or duplicate arguments [09:22:12] daherb, you read peter's thesis, shed some light :-D [11:05:43] as far as i understood it is mostly generating multiple cfg rules for a gf function, with some details about optimisation [11:46:40] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 250 seconds) [12:26:22] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [12:44:21] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 244 seconds) [14:10:15] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [16:10:39] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 260 seconds) [16:27:52] *** Joins: sirdancealot (~sirdancea@109.107.211.244) [17:40:25] *** Quits: sirdancealot (~sirdancea@109.107.211.244) (Ping timeout: 244 seconds) [21:16:43] *** Quits: jackhill (~jackhill@bog.hcoop.net) (*.net *.split) [21:16:53] *** Quits: ski (~ski@remote11.chalmers.se) (*.net *.split) [21:17:06] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-cvlzfmjbantjzgws) (*.net *.split) [21:17:22] *** Quits: inariksit (~inari@ksit.fixme.fi) (*.net *.split) [21:17:23] *** Quits: daherb (~daherb@cse-principia.cse.chalmers.se) (*.net *.split) [21:17:29] *** Quits: drbean_ (~drbean@124.219.83.41) (*.net *.split) [21:17:30] *** Quits: Flammie (~flammie@PC016-2.multilingua.uni-hamburg.de) (*.net *.split) [21:17:47] *** Quits: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) (*.net *.split) [21:19:23] *** Joins: ski (~ski@remote11.chalmers.se) [21:20:15] *** Joins: Flammie (~flammie@PC016-2.multilingua.uni-hamburg.de) [21:20:15] *** Joins: jackhill (~jackhill@bog.hcoop.net) [21:21:17] *** Joins: drbean (~drbean@124.219.83.41) [21:22:15] *** Joins: inariksit (~inari@ksit.fixme.fi) [21:22:15] *** Joins: daherb (~daherb@cse-principia.cse.chalmers.se) [21:22:41] *** Joins: vin-ivar (~vin-ivar@unaffiliated/vin-ivar) [21:49:49] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-srhoivzrcvorawpo) [22:00:00] *** Quits: doppioslash (sid76291@gateway/web/irccloud.com/x-srhoivzrcvorawpo) () [22:18:42] *** Joins: doppioslash (sid76291@gateway/web/irccloud.com/x-ldadapevtjdquyct) [22:41:57] *** Joins: sirdancealot (~sirdancea@2.120.broadband4.iol.cz) [22:46:41] *** Quits: sirdancealot (~sirdancea@2.120.broadband4.iol.cz) (Ping timeout: 240 seconds) [22:58:51] *** Joins: sirdancealot (~sirdancea@2a00:1028:8d1d:e00a:411b:406b:4ace:5fef) [23:21:44] *** Quits: drbean (~drbean@124.219.83.41) (*.net *.split) [23:22:00] *** Quits: sirdancealot (~sirdancea@2a00:1028:8d1d:e00a:411b:406b:4ace:5fef) (Ping timeout: 265 seconds) [23:23:58] *** Joins: drbean (~drbean@124.219.82.41)