Re: [Json] Human JSON (Hjson)

Martin J. Dürst <duerst@it.aoyama.ac.jp> Mon, 30 May 2016 01:56 UTC

Return-Path: <duerst@it.aoyama.ac.jp>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A29FB12D0E0 for <json@ietfa.amsl.com>; Sun, 29 May 2016 18:56:39 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.902
X-Spam-Level:
X-Spam-Status: No, score=-1.902 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=itaoyama.onmicrosoft.com
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 oAiMyMaG_96L for <json@ietfa.amsl.com>; Sun, 29 May 2016 18:56:37 -0700 (PDT)
Received: from JPN01-TY1-obe.outbound.protection.outlook.com (mail-ty1jpn01on0126.outbound.protection.outlook.com [104.47.93.126]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2EC5612B041 for <json@ietf.org>; Sun, 29 May 2016 18:56:36 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=itaoyama.onmicrosoft.com; s=selector1-it-aoyama-ac-jp; h=From:To:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=tO5appI9DtjEWvpOawpsuFeVJK7mRECrmnm6X/H/8Ck=; b=pMoe8jQgiZ3LtcHKo+q6tO6IVf0+wJpFaH7WONpsGsfPhliRHMy7NoIUOw5/2KeLZEMMf4Ct7k1JUiYHpAa66FGPeS08NQfY7aI4NkFE9kduaCu+9yb+xdpAY//SD7eDX4j7sNgrn/IoZWwLaQ715QjIipwkAmApnuRbuoJSWYw=
Authentication-Results: ietf.org; dkim=none (message not signed) header.d=none;ietf.org; dmarc=none action=none header.from=it.aoyama.ac.jp;
Received: from [133.2.210.64] (133.2.210.64) by OSXPR01MB0918.jpnprd01.prod.outlook.com (10.167.148.148) with Microsoft SMTP Server (TLS) id 15.1.501.7; Mon, 30 May 2016 01:56:34 +0000
To: Phillip Hallam-Baker <ietf@hallambaker.com>, Carsten Bormann <cabo@tzi.org>
References: <9ec25767-7471-2ca3-ded5-afed67863742@gmail.com> <82b2ba3f-a6c2-c98b-b365-b698ab285149@codalogic.com> <CAMm+Lwjw-FgrH1yED5B98=3vsx_KjX_VANn=7efPVoD_yPcC1w@mail.gmail.com> <57471154.1050107@tzi.org> <574711EE.2010405@tzi.org> <CAMm+LwgdV3w=eRjFEdsbfkuCw_D2rw8rUgdgeVYAmLJPtPxRKQ@mail.gmail.com>
From: "Martin J. Dürst" <duerst@it.aoyama.ac.jp>
Organization: Aoyama Gakuin University
Message-ID: <e5413a74-ad74-42e7-46a0-ab115af7d2f1@it.aoyama.ac.jp>
Date: Mon, 30 May 2016 10:56:32 +0900
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.0
MIME-Version: 1.0
In-Reply-To: <CAMm+LwgdV3w=eRjFEdsbfkuCw_D2rw8rUgdgeVYAmLJPtPxRKQ@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Transfer-Encoding: 7bit
X-Originating-IP: [133.2.210.64]
X-ClientProxiedBy: OS2PR01CA0016.jpnprd01.prod.outlook.com (10.161.74.154) To OSXPR01MB0918.jpnprd01.prod.outlook.com (10.167.148.148)
X-MS-Office365-Filtering-Correlation-Id: f1fc0924-54be-4364-4f8e-08d3882da0d0
X-Microsoft-Exchange-Diagnostics: 1; OSXPR01MB0918; 2:14cZTaU3HWvhEoXjxxYsWVpbSiMw3MXI6mgS4NKOOukyLqy3eQYDUVk+uNjWej2wKjmg6Z5pjukV7vy/yCfxipRnSaawLzyJ4zHmkErhvXpqzoMhBmRQlBhDrHxAibwOxvKheIwgFt7RezxT2m8z6TwFiZTkPaUni0qkK2nlFOYa5tBALI6e7osqH3dGE+SQ; 3:duQ5wpfTbGBK4BrkKshMcigaM7xyFxHXEqmkSH+X+Jxje7oo5jsXTL3bZ1OguPAtsiYod0uuwrcl6Uj5qHZMUrUAHzvMgNjMDhQ9Zv7Lcp4VoplmVTo/fcIWjnlsxTLA; 25:K9FO8w0TGfb9AA/dJbmyXMvcJ85Sej/pPxRLNjDsFAvLV+NmNylBERUkkUc3BeUiZ4UO8DyymtETjFDNI9rWhr14G0d7eJGZ7T5UsGXOQsGvuBImzgReUAL8kcsIN5/dTOlLUZ3Hccob9b2MAQL/LmuRCdbwEPIOHdGUmPlVRE37Qi0O/JdZWd3QvBAnPaFgF4YMok9TfY7jgCAdsCLpPPa7JiPR3SNmeSyIeUMjjWrsKZxVc2VlXy0GPNjU26mPn6TkcjzaRMxt8lcLsV1ms7UjimG1HX63oOR/nSWlomFVOLBcAudXHggWAIoXpavOH8C82b/ApVQj/XArvzl6O7GCW8Mex+6Nq61HkkrKWGjBsiyfyAf8a8m47RAoLGr/XKLtCHZQ83f4oOSD2sw5DnRgJaNL09UELrsPAL56kzY=
X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:OSXPR01MB0918;
X-Microsoft-Antispam-PRVS: <OSXPR01MB0918EAFB20BDCF5725B181F0CA450@OSXPR01MB0918.jpnprd01.prod.outlook.com>
X-Exchange-Antispam-Report-Test: UriScan:;
X-Exchange-Antispam-Report-CFA-Test: BCL:0; PCL:0; RULEID:(6040130)(2401047)(8121501046)(5005006)(10201501046)(3002001)(6041072)(6043046)(6042046); SRVR:OSXPR01MB0918; BCL:0; PCL:0; RULEID:; SRVR:OSXPR01MB0918;
X-Microsoft-Exchange-Diagnostics: 1; OSXPR01MB0918; 4:rF6jYM7rktxFCFjQDeM+4ISY4luiVIT7jVE86XagHYNzQNXCdOwjObbCT3XfWr1piavxj2kJs+SygjauuDbGTW44IKcMsdfOy96xFo9h6vbEDEm395Zh0BKB2vEHQAY1jwPbirZzxsITQNSgEgy7eGNM5wjRL+/IZd87EEUPqgt03KY1Oc7mpEgKj9G3CJdSRbH8S3ftQD4PDgWEhYorl7lVz1FzzBmq/65xRqpuhn1F6b79G6780b6esnctBj8sT0ZkLc030fjKWoez/lqe60Bi+uq2iLe1cwCTsbEJpCwoxiTZ8RPEwA3vtQ9ifEZF4jx0EEiaYAHPmgH+zHXz9+PY2Duqt/Jxy3f4YGHcMv/kVxcUfaXc4Qc8XllZHNjypFT1hfazqOEf/u7axE1xqeGm29WFPxGI2m9be3ukNpeESWG9FofcYB8PhLAbtEkC
X-Forefront-PRVS: 09583628E0
X-Forefront-Antispam-Report: SFV:NSPM; SFS:(10019020)(4630300001)(6009001)(6049001)(24454002)(83506001)(77096005)(33646002)(76176999)(54356999)(23676002)(5004730100002)(2906002)(6116002)(65806001)(47776003)(2950100001)(230700001)(3846002)(586003)(65956001)(66066001)(93886004)(86362001)(42186005)(81166006)(31686004)(8676002)(4001350100001)(4326007)(189998001)(74482002)(5008740100001)(64126003)(31696002)(5001770100001)(50986999)(92566002)(65826006)(3940600001); DIR:OUT; SFP:1102; SCL:1; SRVR:OSXPR01MB0918; H:[133.2.210.64]; FPR:; SPF:None; MLV:sfv; LANG:en;
X-Microsoft-Exchange-Diagnostics: 1;OSXPR01MB0918;23:JTAxC7fExW1o1FZh+eKAoguBtCqgL7XGVzvTx576khKoUWLRcBj7ljZojmQsPVqxK9zxy/m8BuWOG8pfrHzhhvbzfumvt+9tenWu6jBBJy03XPfMWNcnAtm5ye9Db52/30+KYD8GsJZquOygwknY4aTOQWf0ewkQt4SID9zMNXaADPB78TFBz3dpvckLC/WhOqSGAcdn4okJiMyoA0vciuiPFVM2Pm8uxhqKxGyiS1aVBxq1OHQv7YsgUtgVJ2Uu1Jhs5a0MltXjTx3m4kVtZD6NJ3PQdEHak9vkb47b1BxFddQYtLeBWs0gQ0HjvwbnW1XGFv7fdmG3hxKJF5UnDVZBQAw/ePSvkDY+0ZDr5z92lBeUkMXYHsA7TJTbW+ond7rFLE3VY1jtakcm9iCSxu2rMWqITjMlQtEOEUt+BwOirNpCSwia+qa3Niaq49GSH3OpewP7i+uUJgUNWn79gBydTAtDmRb2kD9KV9xJO+lDmNYgfxa4CihnJB7H9pL8VKc2rLxO7RYvxR1luOP/Ez6r9gkzFCjvqkLs/AHU5UFcpRk5nuTd70+L3hQERZEDW8ZI9EIHQt+U/aJv7bqVGYC+Kf/69uCSsbofpObGEq+9K85OOusCVh4BBwNJNR10YRPPJB034FmcZ+V5H2r4WsG7s5bO2FGKQwf+3CKIUHZnhGNdvKU4nXkN5Mq66iO9dZmX6ddZQqSUU9cMpZE8vP9MI1OV2zlnfo/fk1+B6fmnyvx1OvEuXVU1EKWH2uUuI7HJeJzFYAhLpM0pKlYUTmnU+/rOJdOS6ffQwkY3OZ/4HkLyB887LevgoYYDAV+3nniE0/MksPs2MzC+lrZ3Y6iWGPcN0iaXQqSv9BTgaTjQeItfUIYXGLiKHbNb0MAhs+1Rm+k0ceO3g5vpzh8tItv1Nia4qGi/cOsCPLVzT8ZOjdQd0D90cAzEHVYMRKdHKfNxXEaRPjPwjs15m9GtskRlVp2rugN78Gg4oFpt89/Q6IJktdPelYLLHwSVh6lHThO92RH/GUTAQOgEx4hbfw==
X-Microsoft-Exchange-Diagnostics: 1; OSXPR01MB0918; 5:fh1ieXwB82UaQ36UxfketKrAclz05ZN5faZfjyFVyUWO3cFwUx48w709K3f9nCARloX4RctFQFi/5yTZSmiwRZWaPfDD6eiVicHCBjFS/yKWCnD4SV+jeATCbEmIXfmWJCMlHhnSO37bvkXoDod/uA==; 24:tghxJcB/g4aBht85hf2ag9YNnZy1FEClUI7LlliX1b8UalAsjgXk2lZ3RCGIycw0zHK3/E4mSowcS4ZNCdU2gSlBgTwmZXwkKPa/U/yzSls=; 7:i9TPNkzAn46x7p3YPp9pdV1IEZzCbRL3bTRmHsanks7cVaKsR2LfHpokp+4GNTsOZ1grd4WekivbqYchdemyphljXcoZrUeqOmF0yuYm2KnLUDLfVWj40zSa0bQG2IEpC9xTSGtpoLWgnVDWgTvYD5qofCcsfehozyZjpquNZfswycuMawBpvUDrlIjCJfWE
SpamDiagnosticOutput: 1:23
SpamDiagnosticMetadata: NSPM
X-OriginatorOrg: it.aoyama.ac.jp
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 30 May 2016 01:56:34.1034 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-Transport-CrossTenantHeadersStamped: OSXPR01MB0918
Archived-At: <http://mailarchive.ietf.org/arch/msg/json/84MBgUgwpKNP4kKbha3DMaqjHo4>
Cc: JSON WG <json@ietf.org>
Subject: Re: [Json] Human JSON (Hjson)
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.17
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: <https://mailarchive.ietf.org/arch/browse/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: Mon, 30 May 2016 01:56:39 -0000

On 2016/05/27 00:36, Phillip Hallam-Baker wrote:

> So the following would all be equivalent:
>
> { "Tag1" : { "Tag2" : { "Tag3" : "Data" } } }
>
> Tag1
>     Tag2
>         Tag3 "Data"
>
> Tag1 { "Tag2" : { "Tag3" : "Data" } } }
>
>
> The second version is pretty much the Goedel syntax. I can show that is
> unambiguous as I define it as a FSM and then produce the grammar from the
> FSM.

Just a quick comment: As far as I understand, a FSM (finite state 
machine) isn't able to grok any of the above, unless you limit the 
number of indentation/nesting levels. An FSM leads to a regular grammar, 
whereas a context-free grammar is needed to parse nesting constructs 
with arbitrary depth. The corresponding automaton is a push-down automaton.

Regards,   Martin.