Editing Finite-state machine (section)

=== SDL state machines ===
The [[Specification and Description Language]] is a standard from [[ITU]] that includes graphical symbols to describe actions in the transition:
* send an event
* receive an event
* start a timer
* cancel a timer
* start another concurrent state machine
* decision
SDL embeds basic data types called "Abstract Data Types", an action language, and an execution semantic in order to make the finite-state machine executable.{{citation needed|date=January 2017}}