From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/49919 Path: news.gmane.org!not-for-mail From: luigi scarso Newsgroups: gmane.comp.tex.context Subject: Re: What happened with sectionworld? Date: Wed, 29 Apr 2009 20:00:07 +0200 Message-ID: References: <1D0F418D-E66C-4A90-9616-8757CDB08058@fiee.net> <182BA1FD-4C04-43A0-A1F4-B5F225218E19@fiee.net> <49F80EA3.6030408@wxs.nl> <8EF00B6B-6096-4523-9E70-59B6AC034C21@gmail.com> <20090429143544.6abee462@KUBUNTU64> <9BBF59D0-1C94-46ED-96FE-0FD5964F57FC@gmail.com> <20090429174315.3d61cce0@KUBUNTU64> <20090429184654.740d27cf@KUBUNTU64> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============0808132834==" X-Trace: ger.gmane.org 1241028066 10370 80.91.229.12 (29 Apr 2009 18:01:06 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 18:01:06 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Wed Apr 29 20:00:56 2009 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by lo.gmane.org with esmtp (Exim 4.50) id 1LzE5X-0006cu-UW for gctc-ntg-context-518@m.gmane.org; Wed, 29 Apr 2009 20:00:56 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 6DB751FD4E; Wed, 29 Apr 2009 20:00:55 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 24154-05; Wed, 29 Apr 2009 20:00:21 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 8EF171FCF6; Wed, 29 Apr 2009 20:00:19 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 6A4271FCF6 for ; Wed, 29 Apr 2009 20:00:17 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 09408-01-2 for ; Wed, 29 Apr 2009 20:00:09 +0200 (CEST) Original-Received: from filter2-til.mf.surf.net (filter2-til.mf.surf.net [194.171.167.218]) by ronja.ntg.nl (Postfix) with ESMTP id 563ED1FCEC for ; Wed, 29 Apr 2009 20:00:09 +0200 (CEST) Original-Received: from mail-ew0-f173.google.com (mail-ew0-f173.google.com [209.85.219.173]) by filter2-til.mf.surf.net (8.13.8/8.13.8/Debian-3) with ESMTP id n3TI08nI003619 for ; Wed, 29 Apr 2009 20:00:08 +0200 Original-Received: by ewy21 with SMTP id 21so1418997ewy.2 for ; Wed, 29 Apr 2009 11:00:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type; bh=wQGckHL8XCvfRx/9WDERWXzxNNenPCnNJWxdFXCwrQw=; b=MGnql83Za+Jy/jDbU+HJqxjFRfZWjRkt+GxLGndq1eo4sYF4sLaiGw3JdKw+tx++P+ isnVcaFzzwGgZ5xljOm/5+J3eNE6vGguMkIAIk9x23HgeYEB/IEbbXdw4CvX0lUYnWd/ EZzx0/OPv7QQ0Uo/8jJEmdEoAYrN8M2mwcTB0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=Jim63b3hVrAg/RShv3LYnkeI8NenBIlmhwe2ST/JsClqAnc4F4ipyDb/bWU6rjBl2m iE6+hmjTe9rJAT1OXukKU2lKS5zPS12Ib9oCDmHf4EDWhEqHEs/O1oBtbFzGg6NC9r/I NG54kUV2kxuZCPLqznHUqwQ5q7RpKgPkW8LAw= Original-Received: by 10.216.74.14 with SMTP id w14mr165574wed.153.1241028008000; Wed, 29 Apr 2009 11:00:08 -0700 (PDT) In-Reply-To: <20090429184654.740d27cf@KUBUNTU64> X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=209.85.219.173; country=US; region=CA; city=Mountain View; postalcode=94043; latitude=37.4192; longitude=-122.0574; metrocode=807; areacode=650; http://maps.google.com/maps?q=37.4192,-122.0574&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 217156319 - 5d4aaed8cfa3 - 20090429 X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.218 X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.11 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: ntg-context-bounces@ntg.nl Errors-To: ntg-context-bounces@ntg.nl X-Virus-Scanned: amavisd-new at ntg.nl Xref: news.gmane.org gmane.comp.tex.context:49919 Archived-At: --===============0808132834== Content-Type: multipart/alternative; boundary=00504502d42292bfdd0468b55999 --00504502d42292bfdd0468b55999 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit On Wed, Apr 29, 2009 at 6:46 PM, R. Bastian wrote: > On Wed, 29 Apr 2009 17:55:05 +0200 > luigi scarso scribit: > > > > > > > > > > May be that ConTeXt is not a 'context free language' ;-) > > > than it will be difficult to express something in a BNF grammar > > > http://en.wikipedia.org/wiki/Backus-Naur_form. > > > > > hmm. > > Context is a macro package in TeX language which is Turing Complete. > > > > > > > But if (ConTeXt == formal_language), it should be possible to > > > develop TEXT, NUMBER, DIMENSION, REFERENCE, etc > > > and also to add examples for "[optional user data]". > > > > > hmm > > I'm not sure that ConTeXt == TeX (but it seems YES) , > > I'm nor sure that TeX is a context free language too, > > in the sense that I never see a BNF grammar of TeX . > (chap.24-26 of the Texbook are embryos of a grammar, but they are not > usable > like the grammar of Pascal or Python) > > I suspect that TeX is not a cfl . > > > > Anyway, > > lpeg can make the thing easier > > > > -- > > luigi > > > I think that something user-friendly could be do in a cooperative wiki (in > the between, i found > http://texshow.contextgarden.net/) beginning with > > CONTEXT_SOURCE ::= PREAMBLE "\starttext" TEXT "\stoptext" | CONTEXT_SOURCE > TEXT ::= STARTSTOPS | SETUPS | DEFINES | OTHERS [ TEXT > > and so on. > Consider that one can always make some dirty tricks in PREAMBLE to render useless "\starttext" or "\stoptext" To be general, i think MY_CONTEXT_SOURCE ::= MACRO* END For example , let's try $>context test where test.tex ::="\end" or test.tex ::="FOO\end" Are there any errors ? No Is test.tex in {CONTEXT_SOURCE } ? No Is test.tex in {MY_CONTEXT_SOURCE} Yes so MY_CONTEXT_SOURCE includes CONTEXT_SOURCE (of course test.tex ::="\end""\starttext""\stoptext" is also in {CONTEXT_SOURCE } ) I think that a bnf or lpeg grammar is really useful for a sort of standard-ConTeXt or minimal-ConTeXt or light-ConTeXt ie a ConTeXt to use as "reference" but can be a bit hard to define -- luigi --00504502d42292bfdd0468b55999 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

On Wed, Apr 29, 2009 at 6:46 PM, R. Bast= ian <rbastian@free= .fr> wrote:
On Wed, 29 Apr 2009 17:55:05 +0200
luigi scarso <luigi.scarso@gma= il.com> scribit:

> >
> >
> > May be that ConTeXt is not a 'context free language' =C2= =A0;-)
> > than it will be difficult to express something in a BNF grammar > > http://en.wikipedia.org/wiki/Backus-Naur_form.
> >
> hmm.
> Context is a macro package in TeX language which is Turing Complete. >
>
> > But if (ConTeXt =3D=3D formal_language), it should be possible to=
> > develop TEXT, NUMBER, DIMENSION, REFERENCE, etc
> > and also to add examples for "[optional user data]". > >
> hmm
> I'm not sure that ConTeXt =3D=3D TeX (but it seems YES) ,
> I'm nor sure that TeX is a context free language too,
> in the sense that I never see a BNF grammar of TeX .
(chap.24-26 of the Texbook are embryos of a grammar, but they are not= usable
like the grammar of Pascal or Python)
> I suspect that TeX is not a cfl .
>
> Anyway,
> lpeg can make the thing easier
>
> --
> luigi
=C2=A0

I think that something user-friendly could be do in a cooperative wik= i (in the between, i found
http://texs= how.contextgarden.net/) beginning with

CONTEXT_SOURCE ::=3D PREAMBLE "\starttext" TEXT "\stoptext&q= uot; | CONTEXT_SOURCE
TEXT ::=3D STARTSTOPS | SETUPS | DEFINES | OTHERS [ TEXT

and so on.
Consider th= at one can always make some dirty tricks in PREAMBLE to render useless=C2= =A0
"\starttext"
or "\stoptext"

To= be general, i think
MY_CONTEXT_SOURCE ::=3D MACRO* END

For example , let's try
$= >context test
where
test.tex ::=3D"\end"
or
test.t= ex ::=3D"FOO\end"

Are there any errors ? No
Is test.tex= =C2=A0 in {CONTEXT_SOURCE } ? No
Is test.tex in {MY_CONTEXT_SOURCE} Yes
so MY_CONTEXT_SOURCE includes CON= TEXT_SOURCE
(of course
test.tex ::=3D"\end""\starttex= t""\stoptext" is also in {CONTEXT_SOURCE }
)

I thi= nk that a bnf or lpeg grammar is really useful for a sort of standard-ConTe= Xt
or minimal-ConTeXt or light-ConTeXt
ie a ConTeXt to use as "referen= ce"
but can be a bit hard to define

--
luigi

--00504502d42292bfdd0468b55999-- --===============0808132834== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : https://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________ --===============0808132834==--