DIAGRAMA DE ESTADOS

Diagrama de Estado: Este muestra la secuencia de estados por los que pasa bien un caso de uso,

 un objeto a lo largo de su vida, o bien todo el sistema. Es una forma de representación gráfica 

más intuitiva de los autómatas finitos basadas en dígrafos con arcos acotados llamados transicio

nes en los cuales se ponen los símbolos de tránsito entre un vértice (estado) y otro y se identifican

 los estados de partida y los de aceptación del resto. Los diagramas de estados finitos son también representaciones más cómodas para su elaboración, legibilidad y comprensión de distintos tipos 

de abstracciones computacionales de reconocimiento como los autómatas de pila y las máquinas 

de Turing.

Características

Sea un autómata finito definido por la 5-tupla A=<Q, T, g, F, q0>, donde Q es el conjunto de estados, T el alfabeto de símbolos terminales, la relación de transiciones , F son los estados finales o de llegada dentro de Q, q0 es el estado inicial o de partida; se le llama diagrama de estados de A al grafo orientado con aristas y vértices acotados de la forma siguiente:

• Todos los estados de Q se representan por círculos en cuyo interior se designa el nombre del estado que representa.
  • El estado inicial q0 se indica agregando una saeta corta a su izquierda que no tiene origen alguno y concluye en el borde de la circunferencia, normalmente en los 180 grados del mismo.
  • Los estados finales se indican o bien sombreando el círculo o poniendo un borde doble al estado.
  • Pueden existir estados iniciales finales, simplemente se aplican los dos casos anteriores.
• A cada transición entre los estados qi y qj con el símbolo terminal x o la cadena vacía ε se representa como un arco etiquetado con x ó εsegún corresponda.
• Si entre los estados y en el mismo sentido hay varias transiciones con los terminales x1, x2, ..., xn entonces se indican en el mismo arco pero separados por espacio o comas según convenga.

•