Received: from localhost ([::1]:38211 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.86) (envelope-from ) id 1ajHyQ-0006FB-5R; Thu, 24 Mar 2016 19:59:42 -0700 Received: from mail-vk0-f44.google.com ([209.85.213.44]:35315) by stodi.digitalkingdom.org with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.86) (envelope-from ) id 1ajHyI-0006EJ-Ou for llg-members@lojban.org; Thu, 24 Mar 2016 19:59:40 -0700 Received: by mail-vk0-f44.google.com with SMTP id e6so79856364vkh.2 for ; Thu, 24 Mar 2016 19:59:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to; bh=ZJ3K9Wp3qyJlQ47mmYXzKlXMANreri5YYMbOkpGASYI=; b=aaHCOXXVyIsDlmse+LE3x4vBW6fcCKwPUZoNYSEtErmJI3nYsda8jGKTfge5rDRMkk pqhi5S0bIIP4n79RJ2MEx1tyvUpi2zsHsLSzmq5Oi43kAP15Ny0D65m15ReR0I7mywcB pUdMBaUMxvTFX//UWZHWlke7/qMl7DHvNiW8kBS23hyiuTftIJ/6XOIUK1GhCA81VNu+ BF70uPrz3PuKla3xpWiEcnyhufPocSVHx9lBylDHSIIOvW1uv/vikPKV7U7CieCdfEKY MDT0HUQrYhWnBvzg5E4owA7wpZZTb0PR6OLmL2k89ej2k+eqw+BVfYX2JDa5h0ahS4i3 YO0g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to; bh=ZJ3K9Wp3qyJlQ47mmYXzKlXMANreri5YYMbOkpGASYI=; b=jVO21z5pTvWbRBKXRNtrj3n6hpQP/pOXaeeZVsYZzx5A84Q37GmnXnCDOSQDNfLT2W eKbZmxqfDeINNgH0xz2lTfe4dy1X9PHEQl9q2jGjuFTeZ23wM+umQ3LBGQ9s11HojxE+ ReM48VVmD8PuW6fTAKpnSDE7yDRbQPaekjIR7ofSgMB4QmXQ89OomqONvTHrNPIT8s0X o8p99nJNbnfsoSiwzkQh03yvDT8ijUPw7+q1Z6ucdp1S5d/FQZxwyvr0NOFDnUYp8WIs L/RZE0ADahyVZLWkFOYofM/WlCW65KkecMyZ2sxWWA7/bUwGrJSrVceOaS1I7jGWQcje ZlCA== X-Gm-Message-State: AD7BkJKpZe9eBP8kvORBltwMipUBcsbESZgVk1/8GI/iOz0xfUBteq/QtStHhSkCRIi4IFDWFqcFdINIxV7/Mg== MIME-Version: 1.0 X-Received: by 10.31.170.196 with SMTP id t187mr6245492vke.66.1458874768615; Thu, 24 Mar 2016 19:59:28 -0700 (PDT) Received: by 10.159.38.135 with HTTP; Thu, 24 Mar 2016 19:59:28 -0700 (PDT) Received: by 10.159.38.135 with HTTP; Thu, 24 Mar 2016 19:59:28 -0700 (PDT) In-Reply-To: <20160325025551.GF897@mercury.ccil.org> References: <8BCCD0E2-E6D4-4687-9D89-D177E69E1259@gmail.com> <56DE1D83.8050901@lojban.org> <8EC7FC36-8C8F-43FD-AE6A-C704D1D9C2CE@gmail.com> <12678381.nPyR9sEY1K@caracal> <56E0AE11.8020708@lojban.org> <56E1F54E.3040501@lojban.org> <56EF1C47.6060900@lojban.org> <56F467BF.9060405@lojban.org> <20160325025551.GF897@mercury.ccil.org> Date: Thu, 24 Mar 2016 22:59:28 -0400 Message-ID: From: Curtis Franks To: llg-members@lojban.org X-Spam-Score: -2.0 (--) X-Spam_score: -2.0 X-Spam_score_int: -19 X-Spam_bar: -- Subject: Re: [Llg-members] 2015 Annual Meeting - Old Business X-BeenThere: llg-members@lojban.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: llg-members@lojban.org Content-Type: multipart/mixed; boundary="===============3012085514328314013==" Errors-To: llg-members-bounces@lojban.org --===============3012085514328314013== Content-Type: multipart/alternative; boundary=001a114325ec5aeeaa052ed6c0b8 --001a114325ec5aeeaa052ed6c0b8 Content-Type: text/plain; charset=UTF-8 I agree/my current understanding is yours. So maybe Lojbab can explain his reasoning first and then selpa'i can counter. On Mar 24, 2016 22:56, "John Cowan" wrote: > Curtis Franks scripsit: > > > I would like to learn in greater detail the reason for the BPFK's > decision > > regarding the purposeful and theoretic rejection of parsers as > determining > > the formal grammar of the language. > > As I understand it, the formal grammars are the various documents such > as the Yacc grammar, the BNF grammar, and the PEG grammar, rather than > any specific mechanization of any of these as a parsing program. > > -- > John Cowan http://www.ccil.org/~cowan cowan@ccil.org > And through this revolting graveyard of the universe the muffled, > maddening beating of drums, and thin, monotonous whine of blasphemous > flutes from inconceivable, unlighted chambers beyond Time; the > detestable pounding and piping whereunto dance slowly, awkwardly, and > absurdly the gigantic tenebrous ultimate gods --the blind, voiceless, > mindless gargoyles whose soul is Nyarlathotep. (Lovecraft) > > _______________________________________________ > Llg-members mailing list > Llg-members@lojban.org > http://mail.lojban.org/mailman/listinfo/llg-members > --001a114325ec5aeeaa052ed6c0b8 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

I agree/my current understanding is yours. So maybe Lojbab c= an explain his reasoning first and then selpa'i can counter.

On Mar 24, 2016 22:56, "John Cowan" &l= t;cowan@mercury.ccil.org> = wrote:
Curtis Franks= scripsit:

> I would like to learn in greater detail the reason for the BPFK's = decision
> regarding the purposeful and theoretic rejection of parsers as determi= ning
> the formal grammar of the language.

As I understand it, the formal grammars are the various documents such
as the Yacc grammar, the BNF grammar, and the PEG grammar, rather than
any specific mechanization of any of these as a parsing program.

--
John Cowan=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 http://www.ccil.org/~cowan=C2=A0 =C2=A0 =C2=A0 =C2=A0 cowan@ccil.o= rg
And through this revolting graveyard of the universe the muffled,
maddening beating of drums, and thin, monotonous whine of blasphemous
flutes from inconceivable, unlighted chambers beyond Time; the
detestable pounding and piping whereunto dance slowly, awkwardly, and
absurdly the gigantic tenebrous ultimate gods --the blind, voiceless,
mindless gargoyles whose soul is Nyarlathotep. (Lovecraft)

_______________________________________________
Llg-members mailing list
Llg-members@lojban.org
http://mail.lojban.org/mailman/listinfo/llg-membe= rs
--001a114325ec5aeeaa052ed6c0b8-- --===============3012085514328314013== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Llg-members mailing list Llg-members@lojban.org http://mail.lojban.org/mailman/listinfo/llg-members --===============3012085514328314013==--