¿Qué es un diagrama de transiciones?
Un diagrama de transiciones, es una colección finita de círculos, los cuales se pueden rotular para fines de referencia, conectados por flechas que reciben el nombre de arcos. Cada uno de estos arcos se etiqueta con un símbolo o categoría de símbolos que podría presentarse en la cadena de entrada que se
analizar. Uno de los círculos se designa con un apuntador, y representa una posición inicial. Además, por lo menos uno de los círculos se representa como un círculo doble; estos círculos dobles designan posiciones del diagrama en las cuales se ha reconocido una cadena valida.
Decimos que una cadena de símbolos es aceptada por un diagrama de transiciones si los símbolos que aparecen en la cadena (de izquierda a derecha) corresponden a una secuencia de arcos rotulados que conducen del círculo
designado por el apuntador a un círculo doble.
Los círculos de un diagrama de transiciones representan posiciones, o estados, donde nos podemos encontrar al evaluar una cadena de símbolos.
Es común llamar estados a los círculos de un diagrama de transiciones. Él circulo de partida
se llama estado inicial y los círculos dobles, estados de aceptación.
Donde:
