State machines are specified by using various types of diagrams and tables. These determine the next state function f and the output function h.
The creation of tables and diagrams form an important part of the state machine design procedure.
