1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,1.1. DISTINTOS TIPOS DE PROGRAMAS 15los estados de un autmata y los cambios que se producen con laentrada pueden interpretarse como la llamada funcin de transicindel autmata. En particular, la representacin mediante un grafoetiquetado es una de las ms habituales para un autmata finito.Retomamos ahora el ejercicio 1.2, cuya resolucin permite optarentre:1. leer la cadena completa y despus escribir el resultado (la cadenainvertida), con lo que es de esperar que para una cadenalo suficientemente larga se agoten las reserva de memoria, o2. utilizar una funcin recursiva como en el cdigo de la figura 1.4programa funcin invierte_entradacomienza algoritmos siguiente-smbolosi s 7^ cadena-vaca entoncesinvierte_entradaescribe sfin sitermina algoritmoFigura 1.4: Programa que invierte la cadena de entrada utilizando unaformulacin recursivaEn esta segunda opcin, el desbordamiento se producir cuando seagote la pila de almacenamiento de llamadas recursivas, lo cual esseguro que ocurrir si la cadena es lo suficientemente larga. Por tanto,