An event descriptor the machine accepts right now.
the descriptor as written (may end in .*)
.*
the closest scope any of its transitions has
in priority order: innermost source first
An event descriptor the machine accepts right now.