Re: BoF session in Prague "Formal State Machines"

Stephane Bortzmeyer <bortzmeyer@nic.fr> Tue, 06 February 2007 21:31 UTC

Received: from [127.0.0.1] (helo=stiedprmman1.va.neustar.com) by megatron.ietf.org with esmtp (Exim 4.43) id 1HEXuU-0002Zt-M6; Tue, 06 Feb 2007 16:31:30 -0500
Received: from [10.91.34.44] (helo=ietf-mx.ietf.org) by megatron.ietf.org with esmtp (Exim 4.43) id 1HEXuT-0002Wa-RL for cosmogol@ietf.org; Tue, 06 Feb 2007 16:31:29 -0500
Received: from virtual3.netaktiv.com ([80.67.170.53] helo=mail.bortzmeyer.org) by ietf-mx.ietf.org with esmtp (Exim 4.43) id 1HEXqV-0006AX-9U for cosmogol@ietf.org; Tue, 06 Feb 2007 16:27:26 -0500
Received: by mail.bortzmeyer.org (Postfix, from userid 10) id D4449240813; Tue, 6 Feb 2007 22:27:12 +0100 (CET)
Received: by mail.sources.org (Postfix, from userid 1000) id 079EC12695; Tue, 6 Feb 2007 22:24:38 +0100 (CET)
Date: Tue, 6 Feb 2007 22:24:38 +0100
From: Stephane Bortzmeyer <bortzmeyer@nic.fr>
To: Hannes Tschofenig <Hannes.Tschofenig@gmx.net>
Message-ID: <20070206212438.GA23042@sources.org>
References: <20070205202703.GB1731@sources.org> <45C845B5.7050201@gmx.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <45C845B5.7050201@gmx.net>
X-Transport: UUCP rules
X-Operating-System: Debian GNU/Linux 3.1
User-Agent: Mutt/1.5.9i
X-Spam-Score: 0.1 (/)
X-Scan-Signature: 08170828343bcf1325e4a0fb4584481c
Cc: cosmogol@ietf.org
Subject: Re: BoF session in Prague "Formal State Machines"
X-BeenThere: cosmogol@ietf.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: DIscussion on state machine specification in IETF protocols <cosmogol.ietf.org>
List-Unsubscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www1.ietf.org/pipermail/cosmogol>
List-Post: <mailto:cosmogol@ietf.org>
List-Help: <mailto:cosmogol-request@ietf.org?subject=help>
List-Subscribe: <https://www1.ietf.org/mailman/listinfo/cosmogol>, <mailto:cosmogol-request@ietf.org?subject=subscribe>
Errors-To: cosmogol-bounces@ietf.org

On Tue, Feb 06, 2007 at 10:09:09AM +0100,
 Hannes Tschofenig <Hannes.Tschofenig@gmx.net> wrote 
 a message of 53 lines which said:

> Why should I re-write my documents to comply to a more formal state
> machine description?

Figures (wether in ASCII-art, in Unicode-art, in SVG, in GIF or
whatever) and informal tables are impossible to analyze automatically
(for instance to check if they are deterministic, or to translate them
automatically to software like Ragel). That's the main problem I have
with informal descriptions: you cannot process them by software and
you have to check them manually.

Being parsable by a program is the main aim of the future language.

_______________________________________________
Cosmogol mailing list
Cosmogol@ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol