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, 06 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
- BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Hannes Tschofenig
- Re: BoF session in Prague "Formal State Machines" Fred Baker
- Re: BoF session in Prague "Formal State Machines" Frank Ellermann
- Re: BoF session in Prague "Formal State Machines" Stephane Bortzmeyer
- Re: BoF session in Prague "Formal State Machines" Fred Baker