O Diagrama de Estado é a representação matemática do conceito de Máquina de Estados Finita, ou seja, cada entidade que o forma está sempre em exatamente um único estado de um número finito de possibilidades e existem condições bem definidas para transições entre esses estados.