Next: Symbols and signature
Up: Specification Files
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