1.1.

DISTINTOS TIPOS DE PROGRAMAS 15

los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada
comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTI
NTOS TIPOS DE PROGRAMAS 15
los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada
comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTI
NTOS TIPOS DE PROGRAMAS 15
los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada

comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTI
NTOS TIPOS DE PROGRAMAS 15
los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada
comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTI
NTOS TIPOS DE PROGRAMAS 15
los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada
comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTI

NTOS TIPOS DE PROGRAMAS 15

los estados de un autmata y los cambios que se producen con la
entrada pueden interpretarse como la llamada funcin de transicin
del autmata. En particular, la representacin mediante un grafo
etiquetado es una de las ms habituales para un autmata finito.
Retomamos ahora el ejercicio 1.2, cuya resolucin permite optar
entre:
1. leer la cadena completa y despus escribir el resultado (la cadena
invertida), con lo que es de esperar que para una cadena
lo suficientemente larga se agoten las reserva de memoria, o
2. utilizar una funcin recursiva como en el cdigo de la figura 1.4
programa funcin invierte_entrada
comienza algoritmo
s siguiente-smbolo
si s 7^ cadena-vaca entonces
invierte_entrada
escribe s
fin si
termina algoritmo
Figura 1.4: Programa que invierte la cadena de entrada utilizando una
formulacin recursiva
En esta segunda opcin, el desbordamiento se producir cuando se
agote la pila de almacenamiento de llamadas recursivas, lo cual es
seguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,