Finite state machines
There is a large class of specification languages based on finite state machines
Often primarily for describing the control aspects of embedded systems
The theoretical basis is very firm
- A finite alphabet of symbols
- A start state and one or more final states