Received: from mail-oa0-f60.google.com ([209.85.219.60]:45467) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1UmA9d-00011a-0F for lojban-list-archive@lojban.org; Mon, 10 Jun 2013 15:01:44 -0700 Received: by mail-oa0-f60.google.com with SMTP id j6sf1326165oag.5 for ; Mon, 10 Jun 2013 15:01:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=wbJecjDJEQfP8wUCgAND/dnYNpncNmrq43qmqWNGX1E=; b=wUs3s78Foq6JOKrhOopx9xIk0WkwFBwzBsIvKi3+TR2mhN/Q7PznDa9WmTDGermpAb ra+lkuoCf68r5uuI1ZnbNMUOQxl4LmzLDrDfuB3BctmDztfzw9oN11o2GE71WyzHX89O MfFlcWecytpLXElAsylVRR2mvWtD3ksoo9x/Ym00t4p6zlsMUgaKC5r26K0fGvywEeRi g9I5qOqr3P78Bw+oseTBDSdyydkmKFFQqKh8Phtsa3ZOpYEqxIC7UWAjCqNH/fLsYQX7 F3UzrBTXPNCYDxdPxLkvT9QlnM+n0NjPWmKUP5+/Vo7uJTlXsnYCQTEuDqAhoJNWAlzi Sk1g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-original-sender:x-original-authentication-results :reply-to:precedence:mailing-list:list-id:x-google-group-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=wbJecjDJEQfP8wUCgAND/dnYNpncNmrq43qmqWNGX1E=; b=z/AjXAks2UZtAWpXTb+nN2BfNzXcpwW/OCFZfXRkGg9Dj/ZnfQbHAq4lC8NNKXNxjk APbrexDV4ZQstVIXVxfkuEAwckY7VaRbuHZe53204ZdCTk3eJEEVtcImqEgIBHZB4sS6 4LbFFWUWimUYWxKQ0E3FOgWMlz3hwfdArDA/w5znK97xX40aLrSYepW9jWOb0oB7R166 3ee7Irpd3HyJykM87Yx0+gH0mBkmDYjHVrnGf9bR+k78MPhYsQ390K0viW8pvozOkgOU suKH1j/SgDsn+8D97XCV4SdPFVgqTzZuxp8drU8HNf4767vsEgBVV71l9ziQmKs3zyvA Shew== X-Received: by 10.49.0.81 with SMTP id 17mr618159qec.16.1370901684006; Mon, 10 Jun 2013 15:01:24 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.49.103.132 with SMTP id fw4ls2959880qeb.17.gmail; Mon, 10 Jun 2013 15:01:23 -0700 (PDT) X-Received: by 10.58.205.143 with SMTP id lg15mr2030299vec.13.1370901683428; Mon, 10 Jun 2013 15:01:23 -0700 (PDT) Received: from mail-ve0-x232.google.com (mail-ve0-x232.google.com [2607:f8b0:400c:c01::232]) by gmr-mx.google.com with ESMTPS id xs5si885298vdb.3.2013.06.10.15.01.23 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 10 Jun 2013 15:01:23 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::232 as permitted sender) client-ip=2607:f8b0:400c:c01::232; Received: by mail-ve0-f178.google.com with SMTP id pb11so5258123veb.9 for ; Mon, 10 Jun 2013 15:01:23 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.220.89.131 with SMTP id e3mr6494014vcm.1.1370901683308; Mon, 10 Jun 2013 15:01:23 -0700 (PDT) Received: by 10.220.21.67 with HTTP; Mon, 10 Jun 2013 15:01:23 -0700 (PDT) In-Reply-To: References: <51A6685C.3010505@lojban.org> <1370809200.78493.YahooMailNeo@web184405.mail.bf1.yahoo.com> <1572136.Rc9a1FkyGG@caracal> <1370832256.72062.YahooMailNeo@web184402.mail.bf1.yahoo.com> <51B5A9D9.8030701@gmx.de> <1370870235.94786.YahooMailNeo@web184405.mail.bf1.yahoo.com> Date: Mon, 10 Jun 2013 19:01:23 -0300 Message-ID: Subject: Re: [lojban] cmevla as a class of brivla From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c01::232 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=047d7b3a89cedb3ca804ded3eb9e X-Spam-Score: -0.1 (/) X-Spam_score: -0.1 X-Spam_score_int: 0 X-Spam_bar: / --047d7b3a89cedb3ca804ded3eb9e Content-Type: text/plain; charset=ISO-8859-1 On Mon, Jun 10, 2013 at 10:58 AM, Remo Dentato wrote: > I'm not sure if this has already been addressed. Has anyone already > checked the impact of the Merge on the formal grammar (I guess the PEG one > is the one currently mantained, or is anyone looking at the YACC one?) > That part is actually trivial, for any of the formal grammars. Removing a selma'o from a formal grammar is very easy. mu'o mi'e xorxes -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban?hl=en. For more options, visit https://groups.google.com/groups/opt_out. --047d7b3a89cedb3ca804ded3eb9e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable



On Mon, Jun 10, 2013 at 10:58 AM, Remo Dentato &l= t;rdentato@gmail.co= m> wrote:
I'm not sure if this ha= s already been addressed. Has anyone already checked the impact of the Merg= e on the formal grammar (I guess the PEG one is the one currently mantained= , or is anyone looking at the YACC one?)

That part is actually trivial,= for any of the formal grammars. Removing a selma'o from a formal gramm= ar is very easy.

mu'o mi'e xor= xes

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban?hl=3Den.
For more options, visit https://groups.google.com/groups/opt_out.
 
 
--047d7b3a89cedb3ca804ded3eb9e--