Automatas

Buenas noches Abel:
Completando tu comentario, comparto un ejemplo de una instrucción sencilla del lenguaje de programación C que puede
ser reconocida por un autómata de pila.
El ciclo for sirvepara ejecutar código reiteradas veces.
for (/* inicialización */; /* condición */; /* incremento */)
{
/* Código a ejecutar */
}

Inicialización: en esta parte se inicia la variable quecontrola el ciclo y es la primera sentencia que se ejecuta. Sólo se
ejecuta una vez ya que solo se necesita al principio del ciclo.
Expresión condicional: al igual que en el ciclo while, esta expresióndetermina si el ciclo continuará ejecutándose o no.
Incremento: es una sentencia que ejecuta al final de cada iteración del ciclo. Por lo general, se utiliza para incrementar la
variable con quese inició el ciclo. Luego de ejecutar el incremento, el ciclo revisa nuevamente la condición, si es
verdadera tiene lugar una ejecución más del cuerpo del ciclo, si es falsa se termina el ciclo yasí.
Aquí se muestra un ejemplo:
int i;
for (i=0; i < 10; i = i + 1)
{
printf("%d\n", i);
}

En C, la sentencia i = i + 1 puede escribirse en forma más reducida como i++. Esta forma seutiliza más comúnmente en
el ciclo for:
int i;
for (i=0; i < 10; i++)
{
printf("%d\n", i);

}

Cadena de componentes léxicos:
I n t

i ;

f o

r (

i = 0 < 1 0 ; i + + )

{ p r i n tf

(

“ % d \ n “ , i ) ; }

(

“ % d \ n “ , i ) ; }

Sub arboles de la sintaxis 

<

+

i

10

i

1

Cadena de componentes léxicos
I n t

i ;

f o

r (

i = 0 < 10 ; i + + )

Árbol completo de la sintaxis

{ p r i n t f

for

 
 
 

+

<

 
 
 

i

i

10

 
 

Imprime los números de 0 a 10

printf i

1

Referencias:

1.Hopcroft, J., MotwaniR. y Ullman, J. (2007).Introducción a la teoría de autómatas, lenguajes y computación. Editorial
Pearson Educación S.A., Madrid. Tercera Edición. ISBN:978-84-7829-088-8.
2....