1. consiste en un conjunto finito S de estados
2. Se denota como M={S, I, O, f, g, s}
3. Una FSM se representa con una tabla llamada TABLA DE ESTADOS y DIAGRAMA DE ESTADOS.
4. El diagrama de estados es una grafica
5. Un tipo especial de FSM que se llama AUTOMATA DE ESTADOS
6. El diagrama de estados es una grafica dirigida cuyos vértices.