Next: Symbols and signature
Up: Specification Files
 Previous: Comments
 
A name used for a symbol, a variable, a state, a trss or an automaton
should not contain the following characters ;, :, (, ), ", -
unless the name is surrounded by " ".
The names o and @ are reserved (o represents
the 
 symbol and @ is the extra symbol used to extend
a signature.
 
Irene DURAND 
2005-02-01