FSM

• Finite state machines. A computation abstraction level that I find particularly appealing for some reason.