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