Specification language
Diagrams
Specification and Description Language
Models of computation
Automata theory
Finite-state machine