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.