Received: from mail-pb0-f56.google.com ([209.85.160.56]:34527) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1WxpkE-0001ql-2o for lojban-list-archive@lojban.org; Thu, 19 Jun 2014 20:44:09 -0700 Received: by mail-pb0-f56.google.com with SMTP id rp16sf703582pbb.1 for ; Thu, 19 Jun 2014 20:44:00 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=wGl7pG0LgvBfdbet7rZmpvrDTvWLdEIy1wv/y8QNais=; b=IsGAqpZ/wB3y3+czPqQBCBMzry0xZEJCZhUWmYcDjj6sWRSDfYrEYqbmiDtjpy57d4 N2nj4E+tlgNrcQshBGTEWQWMMFhRgYQtdqdh38Ysj+Nq1gpZ6v1KgIi+uA37K5y5ntK2 zUjBJn2k4uIN8+9lw73FTogQq4pELaUKkm/c/GKpEsNyHs/Kkw4G8mft/eSPNi0y8Xn+ BlkVR/d4LbYN314wM+tDW2TQ4loiI5dUYutSk6SrJuhRtx+hI2VpUWWog4sjcbLR/e3I Hky+TrIc5OmgZOYvj++h0xjxSPNMsM8DfNvKpaIR2O7BUX5oA2up8w60ZnaEOkdT86Ii 1flQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=wGl7pG0LgvBfdbet7rZmpvrDTvWLdEIy1wv/y8QNais=; b=OqRhd4Cjt1VjWKCNlNxCwvHIL1P4EhPXLza+qdYDccp5JENObvs+3gEaRGIg74XgXq ONdyYEmHa04hmtOrGPVcKzPtRoUIiO5m8759JANa4StbIYSsl+utg9fnxClpihwFhYCx Gk9Sg0v9fn5hbkfM3OPj51dymqukDXwywO2GhYGq1VtT7JGPWXjnFpqk+TlhohyDSqCp 9tT3kK4GybBPBcRcl1nHCpm7Mpw/giqIBUbJKom09M7Ol4OTvx3b7JwUBunlX/+KoQms 62T36wB35R1sD15lyoWJLOA7Qxd3BZGcOLWjqld3EfoM2sYAOsYSCXCAxlWWaRhspZdn HtIQ== X-Received: by 10.140.21.233 with SMTP id 96mr890qgl.19.1403235839900; Thu, 19 Jun 2014 20:43:59 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.140.24.42 with SMTP id 39ls767880qgq.26.gmail; Thu, 19 Jun 2014 20:43:59 -0700 (PDT) X-Received: by 10.140.38.199 with SMTP id t65mr13075qgt.17.1403235839586; Thu, 19 Jun 2014 20:43:59 -0700 (PDT) Date: Thu, 19 Jun 2014 20:43:58 -0700 (PDT) From: Riley Martinez-Lynch To: lojban@googlegroups.com Message-Id: <83b4dd5a-93fd-40ef-b7e5-091b756c3cd4@googlegroups.com> In-Reply-To: References: <96882b42-e167-4a7b-88d2-038324354074@googlegroups.com> Subject: Re: [lojban] Does the lojban language include the empty string? MIME-Version: 1.0 X-Original-Sender: shunpiker@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="----=_Part_229_18931622.1403235838667" X-Spam-Score: -2.7 (--) X-Spam_score: -2.7 X-Spam_score_int: -26 X-Spam_bar: -- ------=_Part_229_18931622.1403235838667 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable xorxes wrote: Is the empty string (=CE=B5) really intended to be included in the lojban= =20 >> language, or is this a quirk of the machine grammar implementations? >> > It was done on purpose. It would be trivial to change the grammar to=20 > disallow it. If we disallow it, however, would we also have to consider t= he=20 > text "valsi si" ungrammatical? =20 > It makes sense that you would want to keep that grammatical. If it is included, as the parsers indicate, null lojban texts are to be=20 > found everywhere that you can't parse the beginning of a non-null lojban= =20 > text. > >> I'm not sure I follow. The grammar can only parse one text at a time, it= =20 >> can't parse a string of texts, so I'm not sure I see what the problem is= . >> > =20 What I mean is that because the empty string is grammatical, a text will be= =20 discovered for any input, whether or not the input is grammatical and can= =20 be consumed. This is easy enough to correct for. What's proving to be a=20 more difficult obstacle in using the parser to detect lojban texts is the= =20 "bare cmevla" rule: "lojban is an improved version of loglan" parses as a= =20 grammatical bare cmevla sequence. But that's a whole 'nother kettle of=20 fish.=20 In any case, thank you. mi'e la mukti mu'o > --=20 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 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. For more options, visit https://groups.google.com/d/optout. ------=_Part_229_18931622.1403235838667 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
xorxes wrote:

Is the empty string (=CE=B5) really intended= to be included in the lojban language, or is this a quirk of the machine g= rammar implementations?
It was done on purpose. It would be trivia= l to change the grammar to disallow it. If we disallow it, however, would w= e also have to consider the text "valsi si" ungrammatical?  

It makes sense that you woul= d want to keep that grammatical.

 If it is included, as the parsers indicate, null lojban texts ar= e to be found everywhere that you can't parse the beginning of a non-null l= ojban text.
I'm not sure I follow. The grammar can only parse one text at a time, = it can't parse a string of texts, so I'm not sure I see what the problem is= .
 
<= div>What I mean is that because the empty string is grammatical, a text wil= l be discovered for any input, whether or not the input is grammatical and = can be consumed. This is easy enough to correct for. What's proving to be a= more difficult obstacle in using the parser to detect lojban texts is the = "bare cmevla" rule: "lojban is an improved version of loglan" parses as a g= rammatical bare cmevla sequence. But that's a whole 'nother kettle of fish.=  

In any case, thank you.

mi'e la mukti mu'o

--
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+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_229_18931622.1403235838667--