X a | <1−p> ε, then X realises as a concatenation of n a’s where n is geometrically distributed with parameter p (or something like p, it’s non-essential here)); < 1554414948 627117 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :and used a quantifier-like notations for them, so X from the example would be expressible as a*

; < 1554414948 668070 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :I can also tell about what I mean by parameters but only if someone asks, as it’s already quite a wall of text; shortly speaking, nonterminal symbols allow to take arguments and be now defined by cases (these should be provably disjoint, or it wreaks the context-freeness and like) with simple pattern matching (a variable or a const symbol); < 1554414948 754408 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :so far, it is possible to calculate mean or even stddev and I think any higher moments of text generated by any expression, if only the grammar is correct enough, which is checkable too; < 1554414948 754448 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :further, one also can introduce (probabilistic) functions which take _text_ arguments instead of abstract symbols etc., but it could destroy our neat statistic analysis from above. I’m finished :o < 1554415586 190337 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :there, “ e1 | … | en” stands for “pick e to be any one of e1 with weight w1, …, en with weight en and generate e”. To the time, I haven’t thought up something less clumsy, also weights are optional and default to 1 (if someone is interested to use this notation in its full glory; also I’d recommend to allow an optional “|” at the start to allow neat code, but note it demands forbidding to name the empty string by an empty < 1554415586 305717 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :expression, or the notation becomes ambiguous) < 1554416455 987760 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1554418275 63489 :LKoen!~LKoen@2a01cb0407597a0010ea588fc49763be.ipv6.abo.wanadoo.fr QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1554418921 539259 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1554419045 492625 :b_jonas!~x@catv-176-63-25-58.catv.broadband.hu QUIT :Quit: leaving < 1554419607 618716 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words --pokemon 20 < 1554419608 511772 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :hawott psyduck eleo typh noctina reuniclusle worm dodra licent smear yung escash hippowdon slugia fraxurkrow dusknoir tor wiggersian horseak herdier < 1554419910 230884 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1554419924 392987 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've read some papers on unsupervised PCFG induction, think I was planning to use them for something, can't remember what. < 1554420102 113310 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1554420235 716157 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1554420506 303447 :arseniiv!~arseniiv@136.169.212.158 PRIVMSG #esoteric :fizzie: I have read only one paper about PCFG to understand how to make sure there is zero probability of non-terminating generation and something else (it’s also in link with if a naive formula for mean length is true), but that article saw PCFG primarily as a parsing tool, though it fortunately shares correctness criteria with PCFG a text generator. The last one’s probably viewed as not serious enough < 1554420806 228350 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, well. Managed to locate two papers on grammar induction in my home directory (Natural language grammar induction with a generative constituent-context model, Klein & Manning 2004; Automatic acquisition and efficient representation of syntactic structures, Solan et al. no-date-on-PDF) but actually neither of them generates a PCFG though they do cite papers that do. < 1554420905 613904 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think parsing is what they usually get used for. < 1554420996 882414 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`words --pokemon --esolangs 20 < 1554420997 748243 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :keldorainfernants dhelio blimpole squil vile rant cute mor ntcm reshiel um-32 trig scor metal houndex.php kellspro stung bit back snub < 1554421022 960917 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1554421024 204553 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Ooh, "houndex.php". < 1554421219 126607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : What if she admits to you that she has killed all her previous [...] <-- this sounds like a great scheme for getting bayesian rationalists to gain darwin awards < 1554421927 481830 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1554422174 432183 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds