next up previous
Next: Symbols and signature Up: Specification Files Previous: Comments

Names

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 $ \bullet$ symbol and @ is the extra symbol used to extend a signature.



Irene DURAND
2005-02-01