Re: BoF session in Prague "Formal State Machines"

[Stephane Bortzmeyer <bortzmeyer at nic.fr>]

On Tue, Feb 06, 2007 at 10:09:09AM +0100,
 Hannes Tschofenig <Hannes.Tschofenig at 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 at ietf.org
https://www1.ietf.org/mailman/listinfo/cosmogol