Defines every kind of pseudo state, each of them having a specific notation and semantics.
.
Types énumérés :