Re: [Json] Nudging the English-language vs. formalisms discussion forward

Bjoern Hoehrmann <derhoermi@gmx.net> Wed, 19 February 2014 22:57 UTC

Return-Path: <derhoermi@gmx.net>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 7AB9D1A0516 for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 14:57:21 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.448
X-Spam-Level:
X-Spam-Status: No, score=-2.448 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RP_MATCHES_RCVD=-0.548, SPF_PASS=-0.001] autolearn=ham
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id GnVBHEWEQyVu for <json@ietfa.amsl.com>; Wed, 19 Feb 2014 14:57:18 -0800 (PST)
Received: from mout.gmx.net (mout.gmx.net [212.227.17.21]) by ietfa.amsl.com (Postfix) with ESMTP id 88F2F1A02A1 for <json@ietf.org>; Wed, 19 Feb 2014 14:57:18 -0800 (PST)
Received: from netb ([178.13.213.98]) by mail.gmx.com (mrgmx103) with ESMTPSA (Nemesis) id 0LeeNW-1X4OPv31Be-00qSLb for <json@ietf.org>; Wed, 19 Feb 2014 23:57:14 +0100
From: Bjoern Hoehrmann <derhoermi@gmx.net>
To: Phillip Hallam-Baker <hallam@gmail.com>
Date: Wed, 19 Feb 2014 23:57:19 +0100
Message-ID: <rvcag9tv4cn6jioncd1rmmc19gcm59l6e9@hive.bjoern.hoehrmann.de>
References: <CAHBU6itzQ0rzU3EUYUqzm2qhx03qk1mpx2sehS_zeiw1ypcEgw@mail.gmail.com> <CAK3OfOhfjkbq6eREkt=MBVL1C9ubh-6My3Lvg-mnOxD0+cpN1Q@mail.gmail.com> <CAHBU6isZbew8O1HJ+XcFsMCR42iDoO_uemPXVwa3=vM5A=MngA@mail.gmail.com> <CAK3OfOgmVsNJqrqCfsD7h37axssOoaX3DGHqO=bTn5bWrA+MFA@mail.gmail.com> <A4B53816-6FBF-4A37-8BC9-F0A9D0867BCD@tzi.org> <CAC4RtVDLQ3q5KxG+jDYfDB09JZUOBcojTR3ebxhr1QUOXLeEvA@mail.gmail.com> <CAMm+LwiCHt2NLW8AV93Tzh=hUXGT7SWM8W5zXSehmBF+nEMCkw@mail.gmail.com>
In-Reply-To: <CAMm+LwiCHt2NLW8AV93Tzh=hUXGT7SWM8W5zXSehmBF+nEMCkw@mail.gmail.com>
X-Mailer: Forte Agent 3.3/32.846
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Provags-ID: V03:K0:u2VwoWq5lKbBTPMJoA1MoHQ+zsGsNij7S3MlZMXCQGrSJlHmZ7G 7Vkcv6cH9KrH7fzsNCutmGWYO3jMrblMSsCsUfxq2ltLNR/LG76JzqdTuU3fbrdgcDLQBu3 oU8Cmx+cBK1hrl3d75ZiX5f0lw1fhQbQ8OccKTIO5/Agv+dXsEis9IcU3xbiZ9xbYlz8lMP v6kYtKDM/21+77ZPVTxFQ==
Archived-At: http://mailarchive.ietf.org/arch/msg/json/jtJtsScpSprJrAU0XAFEitdipWg
Cc: Barry Leiba <barryleiba@computer.org>, JSON WG <json@ietf.org>
Subject: Re: [Json] Nudging the English-language vs. formalisms discussion forward
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/json/>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 19 Feb 2014 22:57:21 -0000

* Phillip Hallam-Baker wrote:
>It is obviously possible to create an ABNF description of JSON (call this X)
>
>It is thus possible to create an ABNF description of a Web Service message
>as an ABNF description. (Call this Y)
>
>What I think is going to be very hard is proving that a given Y is a subset
>of X. And if we do that we risk having specifications that are not actually
>JSON but only JSON-like.
>
>Unless that is we start off with a tool that generates Y in a fashion that
>makes it easy to check that it is a subset of X.

The main problem with using ABNF for Y is that it is tedious to write it
out properly, they want to write "example" and not a complex grammar for
all possible "\uXXXX" escape sequences. This is a common problem with
URI scheme specifications, for instance. Beyond that it is not really a
problem for a tool to compare two grammars as would be needed here (the
problem is undecidable in the most general case, but even then a regular
approximation could be used; I will probably release a tool later this
year that does something like this).
-- 
Björn Höhrmann · mailto:bjoern@hoehrmann.de · http://bjoern.hoehrmann.de
Am Badedeich 7 · Telefon: +49(0)160/4415681 · http://www.bjoernsworld.de
25899 Dagebüll · PGP Pub. KeyID: 0xA4357E78 · http://www.websitedev.de/