Tratamiento Secuencial M3

Tratamiento
secuencial
Esquemas de recorrido y bsqueda
Jordi lvarez Canal
Xavier Burgus Illa
PID_00149891
FUOC PID_00149891
Tratamiento secuencial
ndice
Introduccin........................................................................................... 5
Objetivos .................................................................................................. 6
1. Algoritmos y secuencias .................................................................
2. Esquema de recorrido de una secuencia ....................................
12
2.1. Planteamiento del esquema ..........................................................
12
2.2. Refinamiento .................................................................................
13
2.3. Especificacin ................................................................................
14
2.4. Metodologa...................................................................................
15
2.5. Ejemplos ........................................................................................
16
2.5.1. Divisores de un nmero.....................................................
16
2.5.2. Suma de las cifras de un nmero .......................................
18
3. Esquema de bsqueda en una secuencia ....................................
21
3.1. Planteamiento del esquema ..........................................................
21
3.2. Refinamiento .................................................................................
22
3.3. Especificacin ................................................................................
23
3.4. Metodologa...................................................................................
24
3.5. Ejemplos ........................................................................................
24
3.5.1. Nmeros de Fibonacci........................................................
24
3.5.2. Nmeros primos.................................................................
28
4. Esquemas aplicados a secuencias de entrada/salida ..............
30
4.1. Esquema de recorrido aplicado a la entrada..................................
30
4.1.1. Planteamiento ....................................................................
30
4.1.2. Especificacin.....................................................................
31
4.1.3. Ejemplo ..............................................................................
31
4.2. Esquema de bsqueda aplicado a la entrada .................................
33
4.2.1. Planteamiento ....................................................................
33
4.2.2. Especificacin.....................................................................
34
4.2.3. Ejemplo ..............................................................................
35
4.3. Tres ejemplos .................................................................................
36
4.3.1. Media aritmtica ................................................................
36
4.3.2. Aprueban todos?...............................................................
37
4.3.3. Nmero de aprobados ........................................................
38
5. Combinacin de esquemas.............................................................
40
5.1. Planteamiento................................................................................
40
5.2. Ejemplos ........................................................................................
40
5.2.1. Media de los suspensos ......................................................
40
5.2.2. Longitud de la primera palabra..........................................
42
FUOC PID_00149891
Resumen................................................................................................... 44
Ejercicios de autoevaluacin .............................................................. 49
Solucionario............................................................................................ 50
Glosario .................................................................................................... 52
Bibliografa ............................................................................................ 53
FUOC PID_00149891
Introduccin
En el mdulo anterior hemos aprendido a especificar un problema, hemos introducido la nocin de algoritmo que lo resuelve y hemos introducido el lenguaje algortmico, que nosotros utilizaremos para formular algoritmos. Todava
no hemos hablado de cmo llegar desde la especificacin de un problema hasta
el algoritmo que lo resuelve. En este mdulo nos ocuparemos de este tema. No
introduciremos aqu ningn elemento nuevo del lenguaje algortmico, sino
que, utilizando los elementos que ya conocemos, proporcionaremos una
metodologa que nos permita disear algoritmos de la forma ms sistemtica
posible.
La parte ms importante que trabajaremos en este mdulo ser, sobre todo, el

planteamiento de la solucin, que, como hemos visto en el mdulo Introduccin a la algortmica, es una de las etapas ms dificultosas en el diseo de un
algoritmo.
Ciertamente, podramos intentar disear algoritmos de un nivel de complejidad similar a los ejemplos que aparecen en el mdulo 1. Sin embargo, las nicas
herramientas de las que disponemos hasta el momento son nuestra capacidad
creativa para combinar adecuadamente las construcciones del lenguaje algortmico y nuestra experiencia (que, por el momento, es poca), como ayuda inestimable para la primera.
El estudio de un conjunto de casos concretos que incremente nuestra experiencia podra ser una solucin, pero el aprendizaje por esta va puede ser bastante
costoso y, a un tiempo, incompleto. Por el contrario, en este curso proponemos
una metodologa lo ms sistemtica posible para disear algoritmos. A pesar de
todo, igualmente seguiremos necesitando nuestra capacidad creativa; aunque
una vez asimilada esta metodologa, el agujero que debemos llenar con nuestra creatividad ser bastante menor.
Esta metodologa se basa en la aplicacin de unos algoritmos genricos que

nos permitirn solucionar problemas que se puedan modelar utilizando una
secuencia de elementos, algo que, como veremos, es bastante habitual. Estos
algoritmos genricos los denominaremos esquemas, y funcionan como una
especie de plantillas, de forma que su aplicacin (que llamaremos refinamiento) consistir en sustituir alguna de sus partes por trocitos de algoritmo correspondientes al problema concreto que estamos intentando solucionar en
aquel momento.
Ved el mdulo Introduccin

a la algortmica de este curso.
FUOC PID_00149891
Objetivos
Despus de haber estudiado este mdulo, tendris que haber alcanzado los siguientes objetivos:
1. Entender la nocin de secuencia como elemento bsico para el diseo de
algoritmos.
2. Conocer los esquemas bsicos de tratamiento secuencial y ser capaz de identificar los problemas a los que se pueden aplicar.
3. Dado un problema al que podemos aplicar los esquemas, saber averiguar la
secuencia subyacente. En ocasiones, esto resulta bastante evidente, como
veremos por ejemplo en el apartado correspondiente a las secuencias de
entrada y salida. Sin embargo, otras veces no lo es tanto.
4. Saber elegir adecuadamente el esquema que hay que aplicar para resolver
un problema concreto.
5. Obtener prctica refinando esquemas para problemas concretos. De este
modo, una vez hayis averiguado la secuencia y decidido el esquema que
hay que aplicar, el refinamiento debe ser una tarea bastante mecnica.
6. Identificar los problemas en los que hay que hacer varios tratamientos secuenciales para obtener un algoritmo que los solucione. Ser capaces de combinar los esquemas adecuadamente para hacerlo con xito.
FUOC PID_00149891
1. Algoritmos y secuencias
Todos tenemos en mente el concepto de secuencia: un conjunto de elementos

ordenados de una forma determinada. Por ejemplo, sabemos que la siguiente
secuencia: <1, 2, 3, 5, 7, 11, 13, 17, 19> es la secuencia de los nmeros primos
entre 1 y 20. Tambin podemos encontrar ejemplos de secuencia fuera del
mundo de las matemticas y de la algortmica: los automviles que se encuentran en una cinta mecanizada a la espera de ser pintados por un brazo robot
tambin suponen en realidad una secuencia.
Sin embargo, por qu es importante para nosotros el concepto de secuencia?

Pues resulta que la inmensa mayora de los algoritmos mnimamente complejos
consiste en repetir un conjunto de clculos en una secuencia de datos. Estos algoritmos pueden ser modelizados como algoritmos que tratan secuencias.
De este modo, por ejemplo, un posible algoritmo del brazo robot podra ser el
siguiente:
Al principio de la jornada de trabajo hace falta que algn operario lo ponga
en marcha, lo cargue de pintura si no tiene la suficiente y compruebe que
el brazo funciona correctamente.
Una vez hecho esto, el brazo robot se pone a funcionar. Su trabajo es muy
simple. Espera a que llegue un automvil y lo pinta. Entonces se detiene y
espera a que llegue el siguiente automvil.
Finalmente, cuando la secuencia de automviles se termina, el brazo robot

se para.
Fijmonos en que el brazo robot repite las mismas operaciones para cada automvil. La cinta mecanizada se encarga de ir ponindole los automviles delante para que el brazo robot acte. Entonces, la dificultad del algoritmo del
brazo robot se limita a pintar un automvil, mientras que la cinta mecanizada
se encarga de gestionar la secuencia de automviles.
Notad que esta organizacin supone dos grandes ventajas: en primer lugar, el
algoritmo del brazo robot es ms sencillo que si l mismo tuviese que gestionar
la secuencia de automviles (seguro que el brazo robot tendra que ser ms
complejo; por ejemplo, debera tener capacidad de movimiento). En segundo
lugar, podemos volver a utilizar la cinta mecanizada para otras cosas distintas.
Por ejemplo, junto al robot pintor podemos situar otro que ponga los intermitentes del lado izquierdo. La estructura secuencial de algoritmo es la misma, y
FUOC PID_00149891
lo nico que cambia es el tratamiento que le damos a cada automvil (un robot pinta mientras el otro pone intermitentes).
Lo que pretendemos en este mdulo es trasladar todo esto al mundo de la algortmica. En los siguientes temas proporcionaremos algoritmos genricos
que nos permitirn trabajar con secuencias. Estos algoritmos genricos se denominan esquemas, y llevarn a cabo un trabajo equivalente al de la cinta mecanizada.
Entonces, dado un problema que queremos solucionar, si somos capaces de plantear un algoritmo que lo solucione en trminos de tratamiento de una secuencia,
slo tendremos que aplicar el esquema adecuado a partir de este planteamiento.
Esto nos permitir centrar nuestro trabajo creativo nica y exclusivamente en dos
puntos (de forma similar al problema de pintar automviles):
a) El planteamiento inicial del algoritmo como un algoritmo de tratamiento
secuencial.
b) El tratamiento de un elemento de la secuencia.
Este hecho simplificar de modo importante nuestro trabajo. Adems, el hecho de partir de unos algoritmos genricos que nos sirven para muchas situaciones y que ya sabemos que son correctos har que equivocarnos sea bastante
ms difcil.
Antes de plantear los esquemas, veamos cmo podemos modelizar un algoritmo de tratamiento de una secuencia. Partamos de un ejemplo que ya conocemos: el clculo del factorial. Recordemos su algoritmo:
algoritmo factorial
var
i, n, fact := entero;
fvar
n := leerEntero();
{ Pre: n = N y N 0 }
fact := 1;
i := 1;
mientras i n hacer
fact := fact * i;
i := i + 1;
fmientras
{ Post: n = N, N > 0, fact es el factorial de i 1 e i = n + 1, por lo tanto, fact es el factorial de N }
escribirEntero(fact);
falgoritmo
Cul es aqu la secuencia de elementos tratados? La que est formada por los
nmeros enteros entre 1 y n. Notad, sin embargo, que mientras el algoritmo del
brazo robot ya se encuentra con una secuencia predeterminada de automviles
(aquellos que estn en la cinta mecanizada), el algoritmo del factorial genera por
s mismo la secuencia. Para hacerlo, hemos utilizado la variable i, que ir visitando cada uno de los elementos de la secuencia, de forma que:
Al principio nos situamos en el primer elemento de la secuencia (i := 1).
Recordad que ya hemos visto

el diseo de este algoritmo
en el mdulo Introduccin
a la algortmica.
FUOC PID_00149891
Al final del cuerpo del mientras, la instruccin i := i + 1 nos sirve para pasar
del elemento de la secuencia que ya hemos tratado al siguiente elemento
(que trataremos en la siguiente iteracin si no hemos llegado ya al final de
la secuencia). As pues, con esta instruccin pasamos del primer elemento
(la variable i tiene por valor 1) al segundo elemento (i pasa a valer 2). Posteriormente pasaremos del segundo elemento al tercero (i vale 3). Y as hasta llegar al final de la secuencia.
Finalmente, la condicin del mientras (i n) ser verdadera mientras la variable i se corresponda a un elemento de la secuencia que hay que tratar.
La condicin ser verdadera para todos los valores de i entre 1 y n; es decir,
para todos los elementos de la secuencia.
Y cul es el tratamiento que le damos a los elementos de la secuencia? En este
caso consiste en calcular el producto de todos ellos. Por eso nos hace falta una
variable (fact) en la que vayamos acumulando todos los productos intermedios.
Podemos ver que realizamos dos operaciones diferentes con fact:
En primer lugar, inicializamos fact a 1. Esto es necesario ya que, como nos
suceder en la inmensa mayora de los casos, el tratamiento es acumulativo
y necesitamos partir de unos valores iniciales (en este caso, damos a fact el
valor del elemento neutro del producto, que nos permitir ir acumulando los elementos que hay que tratar). Esta parte se corresponde a lo que
llamaremos inicializar el tratamiento.
En segundo lugar, ya dentro del cuerpo del mientras, multiplicamos fact por
i; es decir: tratamos el elemento actual (correspondiente al valor de la i). Finalmente, cuando los hayamos tratado todos, fact contendr el factorial de n,
que est definido como el producto de los nmeros enteros entre 1 y n (siendo n mayor que 0).
Fijaos en que la forma de trabajar es la misma que habamos visto al principio
con el brazo robot:
1) Hay un conjunto de acciones correspondientes al inicio del tratamiento y
la preparacin de la secuencia.
2) Hay otro grupo de acciones (en el caso del factorial, es una nica accin)
que nos sirve para tratar un elemento de la secuencia.
3) Una vez tratado un elemento, se pasa al siguiente elemento de la secuencia
(o bien llegamos al final de la secuencia si no quedan elementos por tratar).
Debemos tener en cuenta, por un lado, que los elementos se tratan de forma
ordenada (en primer lugar, se trata el primer elemento de la secuencia, despus
el segundo, el tercero, etc. hasta llegar al ltimo). Por otro lado, y esto es bas-
Notad que...
... i llega a valer n + 1. De todos
modos, la condicin del mientras evala a falso para este
valor, ya que no es un elemento de la secuencia que hay que
tratar. Por lo tanto, el ltimo
elemento tratado se corresponde a n.
FUOC PID_00149891
10
tante importante, slo tenemos acceso a un elemento de la secuencia a la vez.

Este elemento es el mismo al que hemos hecho referencia en prrafos anteriores con el nombre de elemento actual.
Notad que tanto en el algoritmo del factorial como en el ejemplo del brazo robot los elementos de la secuencia son todos del mismo tipo. De este modo, en
el ejemplo del brazo robot, los elementos son automviles; y en el del factorial
son nmeros enteros. Esta propiedad ser una constante a lo largo de todos los
problemas de tratamiento secuencial.
Hasta ahora habamos utilizado el trmino secuencia como tira de elementos.
Sin embargo, para describir el funcionamiento de un algoritmo en trminos de
secuencias, es importante poder hablar del elemento que est visitando el algoritmo en un momento determinado (el elemento actual).
Por ello, introducimos la nocin de cabezal, que nos indica la posicin de la
secuencia en la que est situado un algoritmo en un momento dado. Es necesario notar que el cabezal no se corresponde a ninguna construccin del lenguaje algortmico. Simplemente es una nocin que nos sirve de ayuda para
hablar con mayor facilidad del elemento de la secuencia que estamos tratando
en un momento dado.
El cabezal puede estar situado encima de cualquier elemento de la secuencia,
con las restricciones que ya hemos comentado anteriormente: slo un elemento de la secuencia est disponible a la vez, y los elementos son visitados
secuencialmente (en primer lugar el primero, despus el segundo, el tercero,
etc.), y de aqu el nombre secuencia. Esto implica que una vez hechas las inicializaciones que sitan el cabezal en el primer elemento, ste slo puede
avanzar hacia adelante, posicin a posicin.
As pues, a partir de ahora hablaremos muchas veces de la parte de la secuencia
que est a la izquierda del cabezal, refirindonos a la parte correspondiente a
aquellos elementos por los que el cabezal ya ha pasado. Y tambin hablaremos
de la parte de la secuencia que est a la derecha del cabezal, refirindonos a aquellos elementos por los cuales el cabezal todava no ha pasado (incluyendo el
elemento donde est situado el cabezal).
Por otro lado, el cabezal tiene una posicin extra al final de la secuencia, ms
all de su ltimo elemento. Cuando el cabezal se encuentra en esta posicin,
ya habremos tratado todos los elementos de la secuencia. En el caso del algoritmo del factorial, se llega a esta posicin extra cuando i vale n + 1, que recordemos que no forma parte de la secuencia que hay que tratar.
Veamos grficamente un ejemplo de ejecucin del algoritmo del factorial para
n = 4. En esta figura podemos observar cmo va progresando el cabezal (representado como una flechita) por la secuencia a medida que el algoritmo tambin avanza.
Se trata justamente...
... de la misma idea de los cabezales de los reproductores de
cintas magnticas (video, casete,
etc.); el cabezal est situado en el
fragmento de cinta que estamos
viendo, escuchando, etc. en un
momento determinado.
11
FUOC PID_00149891
Algoritmo
i :=1;
fact :=1;
mientras i n hacer
Estado
Despus de las
inicializaciones
(el cabezal apunta
al primer elemento)
Despus de tratar
al primer elemento
(el cabezal apunta al
segundo elemento)
mientras i n hacer
fact := fact i;
i := i + 1
fmientras
Despus de tratar al
segundo elemento
(el cabezal apunta
al tercer elemento)
Despus de tratar
al tercer elemento
(el cabezal apunta
al cuarto elemento)
...
fmientras
escribirEntero(fact);
Secuencia y cabezal
Variables del
tratamiento
fact = 1
fact = 1
fact = 2
fact = 6
Habiendo tratado
toda la secuencia
(el cabezal est
en la posicin extra
de final de la sec.)
fact = 24
FUOC PID_00149891
12
2. Esquema de recorrido de una secuencia
En el apartado anterior hemos visto que podemos modelizar un algoritmo

sencillo que realiza clculos repetitivos con un algoritmo de tratamiento de
secuencias. A pesar de que el ejemplo utilizado (el factorial) es bastante sencillo, cualquier algoritmo que haga clculos repetitivos puede ser modelizado
como un algoritmo de tratamiento de secuencias.
Lo que pretendemos, sin embargo, es justamente el paso inverso: dado un problema, ser capaces de plantear un algoritmo que lo solucione en trminos de
tratamiento de una secuencia. Y entonces, a partir de este planteamiento, obtener sistemticamente el algoritmo que soluciona el problema.
Para este ltimo paso necesitamos el equivalente a la cinta mecanizada del
brazo robot, pero en lenguaje algortmico; es decir, los esquemas. La cinta mecanizada se va encargando de poner los automviles delante del brazo del robot para que ste los pinte uno a uno. De la misma forma, los esquemas nos
permitirn centrarnos en la parte del algoritmo correspondiente al tratamiento de un elemento de la secuencia.
En este apartado planteamos el esquema ms general de todos los que veremos: el de recorrido de una secuencia. Este esquema nos permitir recorrer
una secuencia de elementos e irlos tratando uno a uno. La secuencia no puede
ser infinita, a pesar de que no es necesario conocer con anterioridad el nmero
de elementos que contiene.
2.1. Planteamiento del esquema

Entendemos un esquema como un algoritmo muy general que no est expresado directamente en lenguaje algortmico. Un esquema es, de hecho, un esqueleto de algoritmos, un tipo de plantilla que tiene algunas partes que nosotros
tendremos que sustituir por acciones (posiblemente ms de una) o expresiones del
lenguaje algortmico. Estas partes aparecen en el esquema en cursiva. Su sustitucin para aplicar el esquema a un problema concreto se denomina refinamiento.
Veamos a continuacin el esquema de recorrido:
algoritmo EsquemaRecorrido
prepararSecuencia
inicioTratamiento
{ El cabezal est al principio de la secuencia. No hemos tratado ningn elemento de sta }
Posteriormente,...
... en el apartado de secuencias
de entrada y salida veris
ejemplos de tratamiento de
secuencias donde al principio
no conoceremos su nmero
de elementos.
FUOC PID_00149891
13
mientras no finSecuencia hacer

{ Hemos tratado la parte de secuencia que est a la izquierda del cabezal. Adems, el cabezal no est en la posicin extra del final }
tratarElemento
avanzarSecuencia
{ Hemos tratado la parte de la secuencia que est a la izquierda del
cabezal }
fmientras
{ Hemos tratado toda la secuencia. El cabezal est al final de la secuencia }
tratamientoFinal
falgoritmo
En el esquema hemos aadido de forma orientativa, con comentarios (entre

llaves), la descripcin de los estados en que se encuentra el algoritmo en diferentes momentos del proceso. Estas descripciones son bastante generales y
equivalen a la especificacin del esquema; evidentemente, se pueden concretar para cada problema especfico al que apliquemos el esquema.
2.2. Refinamiento
Las partes del esquema que deben ser sustituidas cuando lo refinamos para resolver un problema concreto son las siguientes:
prepararSecuencia: en el caso en que la secuencia tenga al menos un elemento,

debemos obtener el primero. Si la secuencia no tiene ningn elemento, situamos el cabezal en la posicin extra del final (y entonces, finSecuencia
ser cierto de entrada). En el caso del factorial, el prepararSecuencia corresponde a inicializar i a 1. Notad que esto nos sirve tanto en el caso de que la
secuencia tenga elementos (si calculamos el factorial de un nmero mayor o
igual que 1), como en el caso de que no los tenga (si calculamos el factorial
de 0, que por definicin es 1). En este ltimo caso, el cabezal ya estar situado de entrada en la posicin extra del final de la secuencia, y el finSecuencia
(ver ms adelante) ser cierto tambin de entrada.
inicioTratamiento: equivale al conjunto de acciones de inicializacin con las

que damos un valor inicial a las variables que nos servirn para hacer los
clculos correspondientes al tratamiento. En el caso del factorial, esto se
corresponde a inicializar fact a 1.
finSecuencia: corresponde a una expresin que es cierta cuando el cabezal
est en la posicin especial que hay ms all del ltimo elemento de la secuencia; es decir, al final de la secuencia. En el caso del factorial, esta expresin se corresponde a i > n, que negada nos queda i n (notad que la
FUOC PID_00149891
14
condicin del mientras es no finSecuencia), que es lo que aparece en el algoritmo. Fijaos en que cuando n es 0 (la secuencia no tiene elementos) finSecuencia ya es cierto la primera vez que se evala.
tratarElemento: corresponde al conjunto de acciones que llevan a cabo el tratamiento de un elemento de la secuencia. En el caso del factorial, esto consiste en guardar en fact el producto del mismo fact por el elemento tratado.
avanzarSecuencia: corresponde a un conjunto de acciones que avanzan el cabezal una posicin. Es decir, o bien pasan al siguiente elemento o, en el caso
en que el cabezal apunte al ltimo elemento de la secuencia, sitan el cabezal al final de la secuencia (recordad que hay una posicin especial ms all
del ltimo elemento). En el caso del factorial, dado que la secuencia tratada
Tened en cuenta que...

... al igual que en el caso del
factorial, en muchas otras
ocasiones, la obtencin del siguiente elemento se hace
a partir del anterior.
es una secuencia de enteros donde los elementos corresponden a los diferentes valores que va tomando la variable i, se incrementa el valor de i en 1.
tratamientoFinal: corresponde a un conjunto de acciones que nos permite obtener el resultado del algoritmo a partir del tratamiento realizado. En algunas
ocasiones, este conjunto de acciones ser vaco; es decir, el tratamiento realizado ya nos dar directamente el resultado obtenido y, por lo tanto, no ser
necesario efectuar tratamiento final. En el caso del factorial, no tenemos tratamiento final.
2.3. Especificacin
Reflexionemos un poco ahora sobre la correccin del esquema que acabamos
de presentar estudiando su especificacin. Este apartado queda fuera del mbito de la asignatura, pero os puede ayudar bastante en la asimilacin del esquema de recorrido.
El invariante del mientras (y tambin del recorrido) corresponde a: hemos
tratado la parte de la secuencia que est a la izquierda del cabezal. El caso concreto del invariante antes de empezar a iterar es: el cabezal est al principio
de la secuencia; y despus de hacer todo el tratamiento: hemos tratado toda
la secuencia y el cabezal est al final, algo que nos debe permitir, junto con
el tratamiento final, asegurar que la postcondicin se cumple.
Al igual que las diferentes partes del esquema, el invariante tambin se debe
refinar para cada problema concreto al que apliquemos el esquema de recorrido. Es decir, el invariante general que aparece en el esquema se debe concretar
y debe describir el tratamiento realizado sobre la parte de la secuencia que est
a la izquierda del cabezal.
De este modo, por ejemplo, en el caso del factorial, el invariante se concretara
como: fact contiene el producto de los nmeros tratados hasta el momento.
Si quisiramos concretar ms an, aadiendo el hecho de que i se corresponde
Como ejemplo...
... de algoritmo con tratamiento final, pensad por ejemplo
en un algoritmo que calcula
la media de una secuencia de
nmeros. Lo ms directo
sera calcular la suma de los
nmeros (al mismo tiempo
que los contamos); y una
vez hecho esto (que sera el
tratamiento), dividir la suma
por la cantidad de nmeros
(tratamiento final).
FUOC PID_00149891
15
al elemento actual de la secuencia (al que apunta el cabezal) nos quedara:

fact es el producto de los nmeros enteros entre 1 e i 1.
El invariante, junto con el hecho de que hemos llegado al final de la secuencia,
nos debe permitir asegurar que despus de la ejecucin del tratamiento final,
la postcondicin del algoritmo es cierta. Del mismo modo, la precondicin de
nuestro algoritmo nos debe asegurar que, despus de ejecutar el tratamiento
inicial, se cumple el invariante.
Existen mtodos formales que permiten verificar, haciendo uso del mismo algoritmo, que las descripciones de los diferentes estados son ciertas. Tambin permiten desarrollar automticamente invariantes a partir de la especificacin de un
problema; y desde aqu, generar un algoritmo que lo cumpla (y que solucione
el problema), pero no los estudiaremos en esta asignatura.
Por otro lado, como hemos visto por encima en el mdulo Introduccin a la algortmica, garantizamos que el algoritmo acaba proporcionando una funcin de
cota. En el caso del esquema de recorrido, la funcin de cota se puede hacer corresponder al nmero de elementos que quedan por tratar. Siempre que la secuencia sea finita, este nmero se va reduciendo hasta llegar a 0, algo que garantizar
la finalizacin del algoritmo.
ste es el motivo...
... por el que no es necesario
saber cuntos elementos tiene
la secuencia para garantizar la
finalizacin del algoritmo. En
cambio, s es necesario asegurar que la secuencia es finita.
2.4. Metodologa
La metodologa que utilizaremos para disear algoritmos empleando esquemas
de tratamiento secuencial es la siguiente:
1) Especificar el problema que queremos resolver.
2) Modelizar el problema como un problema de tratamiento secuencial. Descubrir cul es la secuencia que hay que tratar para resolver el problema.
3) Elegir el esquema adecuado que debemos aplicar. En este momento, slo
conocemos uno, pero en el siguiente apartado estudiaremos el esquema de
bsqueda. A veces este paso y el anterior pueden estar bastante relacionados.
4) Decidir el conjunto de variables que nos debe permitir solucionar el pro-
De entrada...
... nos podra parecer que
aplicar esta metodologa para
resolver problemas como el del
factorial puede ser como matar
moscas a caonazos. La utilidad del uso de los esquemas se
va haciendo ms evidente a
medida que la complejidad
de los problemas que hay que
resolver va aumentando.
blema (es fcil que, aparte de las variables de entrada y de salida, nos hagan
falta algunas ms para efectuar los clculos necesarios y para visitar los elementos de la secuencia). Este paso se relaciona con el siguiente, refinamiento
del esquema. Algunas de las variables dependern de cul sea el tratamiento
que debamos dar a los elementos de la secuencia.
5) Refinar el esquema. Consiste en sustituir cada una de las partes generales del
esquema por conjuntos de acciones y expresiones del lenguaje algortmico, de
modo que obtengamos un algoritmo que solucione el problema concreto especificado en el primer paso.
Como ya habis
estudiado...
... en el mdulo Introduccin
a la programacin, puede
haber muchas formas de
resolver un problema. Del
mismo modo, tambin pueden existir muchas formas de
modelizar un problema como
tratamiento de una secuencia
de elementos. Algunas de estas
formas pueden complicar los
pasos que van del 3 al 5.
FUOC PID_00149891
16
Siguiendo este mtodo para disear algoritmos, el paso creativo se reduce a descubrir la secuencia a tratar. Posteriormente, si la secuencia es la adecuada, refinar
el esquema debe resultar algo bastante directo. Si no es as, es altamente probable
que no hayamos elegido la secuencia adecuada en el paso nmero 2, y entonces
el resto de pasos propuestos pueden resultar bastante ms complicados (podis
ver un caso de este tipo en el ejemplo de los divisores, a continuacin).
2.5. Ejemplos
2.5.1. Divisores de un nmero
Nos piden disear un algoritmo que, dado un nmero entero positivo (que
leeremos del dispositivo de entrada), escriba en el dispositivo de salida sus divisores (sin contarlo ni a ste ni al 1).
De este modo, por ejemplo, si el nmero que leemos del dispositivo de entrada
es el 28, el algoritmo deber escribir en el dispositivo de salida los nmeros 2,
4, 7 y 14. Si el nmero ledo es el 23, el algoritmo no deber escribir ningn
nmero (el 23 es un nmero primo).
Veamos cmo utilizamos la metodologa antes presentada para disear el algoritmo. En primer lugar, especificamos el algoritmo:
n: entero
{ Pre: n = N y N 0 }
divisores
{ Post: en el dispositivo de salida se ha escrito la secuencia de divisores de N }
Ahora planteamos nuestro algoritmo. En primer lugar, averiguamos cul es la

secuencia que debemos tratar. Puesto que el problema habla de divisores, una
secuencia que parece adecuada es precisamente la secuencia de divisores del
nmero. De este modo, para el nmero 14, la secuencia que hay que tratar sera: <2, 7, 14>.
Tened en cuenta que, al igual que en el algoritmo del factorial (y tambin en
los dems ejemplos de este apartado y del siguiente), los elementos de la secuencia no los tenemos guardados en ningn lugar, y los debemos generar nosotros mismos en el propio algoritmo. Esta generacin se lleva a cabo en la
parte correspondiente al avanzarSecuencia, donde debemos obtener el siguiente elemento de la secuencia a partir del elemento actual.
Sin embargo, antes de ir ms all pensemos cmo refinaramos el esquema. El
tratarElemento es bastante sencillo y evidente: consiste nicamente en escribir
el elemento actual (que ser uno de los divisores) por el dispositivo de salida.
En cambio, pensemos en el avanzarSecuencia. Esta parte del esquema, dado un
divisor del nmero en cuestin, debe encontrar (o generar) el siguiente divisor. No se trata de una tarea fcil, pues no es posible hacerla de forma sencilla
En el apartado 4 de este mdulo

veris secuencias que ya nos
vendrn predeterminadas y que
no deberemos generar nosotros
mismos en el algoritmo.
FUOC PID_00149891
17
y directa con una o varias operaciones (tal y como hacamos con el factorial
para pasar de i a i + 1).
De hecho, para encontrar el siguiente divisor de un nmero dado otro divisor
(correspondiente al elemento actual, el apuntado por el cabezal) deberamos
aplicar un esquema de tratamiento secuencial. En este caso, lo ms adecuado sera el esquema de bsqueda, que veremos en el siguiente apartado, refinado para
encontrar el prximo divisor. Notad que finalmente estaramos aplicando dos
esquemas diferentes, uno dentro del otro.
Podramos solucionar el problema con este modelo de secuencia. Pero tambin
podemos modelizarlo como el tratamiento de una secuencia diferente que haga
que el refinamiento del esquema sea bastante ms sencillo y no nos haga falta
el esquema de bsqueda.
Cul es, entonces, esta secuencia? Simplemente, la secuencia de nmeros enteros entre 2 y N 1. Ahora, por ejemplo, para el nmero 14 la secuencia que
hay que tratar ser <2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13 >.
Como podis ver,...

... elegir una secuencia no
adecuada puede complicar
despus el refinamiento de
forma innecesaria. No os debe
importar pasar ms tiempo intentando averiguar cul es la
secuencia adecuada. Despus,
en el momento de refinar el esquema lo agradeceris.
En este caso, encontrar el siguiente elemento de la secuencia es trivial (de hecho,

es lo mismo que en el algoritmo del factorial). En cambio, tratarElemento es un
poco ms complicado que con la secuencia de divisores, ya que debemos comprobar si el elemento actual es divisor de N, y slo en este caso deberemos escribirlo
por el dispositivo de salida. Pero esto corresponde a un simple condicional que
compruebe si el resto de dividir N por el elemento actual es 0 (operacin mdulo).
Por lo tanto, en conjunto, esta solucin es bastante ms sencilla. Entonces, solucionemos el problema con este segundo modelo.
En primer lugar, nos har falta una variable que recorra los distintos elementos de la secuencia (utilizaremos i, igual que en el factorial), aparte de la variable de entrada (utilizaremos n), que leeremos del dispositivo de entrada.
Pasemos a comentar cmo refinamos cada una de las partes del esquema:
Como hemos comentado...
prepararSecuencia: al igual que en el caso del factorial, inicializamos la variable i en el primer elemento de la secuencia, que en este caso es 2.
inicioTratamiento: no es necesario hacer nada (notad que, a diferencia del algoritmo del factorial, aqu no hacemos ningn clculo acumulativo. En todo caso, la acumulacin est en el dispositivo de salida. Pero eso es otra historia).
finSecuencia: el cabezal estar en la posicin extra cuando se cumpla i = n
(el ltimo elemento de la secuencia es n 1). Notad, sin embargo, que en
los casos n = 0, n = 1 y n = 2, se trata de una secuencia vaca. Tambin debemos tener en cuenta estos casos en la expresin finSecuencia. Para tener
todos los casos en cuenta, i se debe iniciar en 2 y la condicin finsecuencia
debe ser i n.
... en la seccin 2.2, el refinamiento del esquema tambin

nos lleva a refinar el invariante
del mientras que aparece en el
esquema. En este caso, como
el tratamiento de un elemento
corresponde a escribir el nmero si es divisor y a no hacer
nada si no lo es, el invariante
seria: Se han escrito por el dispositivo de salida los divisores
de N menores que i .
18
FUOC PID_00149891
tratarElemento: debemos comprobar si el elemento i es divisor de n; y en este

caso escribirlo por el dispositivo de salida. Lo podemos hacer con el operador
mdulo:
si n mod i = 0 entonces
escribirEntero(i)
fsi
avanzarSecuencia: consiste nicamente en incrementar i.

tratamientoFinal: no lo hay.
Veamos cmo queda con todo esto el algoritmo:
algoritmo divisores
var
n: entero;
i: entero;
fvar
n := leerEntero();
{ Pre: n = N y N 0 }
i := 2;
mientras i < n hacer
{ Se han escrito por el dispositivo de salida
los divisores de N menores que i }
escribirEntero(i)
fsi
i := i + 1
fmientras
{ Post: se ha escrito por el dispositivo de salida
la secuencia de todos los divisores de N }
falgoritmo
2.5.2. Suma de las cifras de un nmero

Queremos disear un algoritmo que, dado un nmero entero (que leeremos del
dispositivo de entrada), escriba por el dispositivo de salida otro nmero entero
correspondiente a la suma de las cifras del primero. Para simplificar, al igual que
en el ejemplo anterior, nos limitaremos a nmeros positivos.
De este modo, por ejemplo, si el nmero ledo es el 7.463, el algoritmo deber
escribir 20 (7 + 4 + 6 + 3).
Vamos a solucionar el problema. En primer lugar debemos especificar el algoritmo:
n: entero
{ Pre: n = N y N 0 }
sumaDigitos
{ Post: por el dispositivo de salida se ha escrito la suma de los dgitos de N }
A continuacin debemos encontrar cul es la secuencia que trataremos. En

este caso, la secuencia ms adecuada parece la secuencia de dgitos del nme-
Tened en cuenta que...

... en muchos problemas
(como por ejemplo ste),
la secuencia que hay que tratar
puede estar vaca. En este caso,
la secuencia est constituida
por los enteros entre 2 y n 1.
Por lo tanto, para los valores
n = 0, n = 1 y n = 2 disponemos
de una secuencia que no tiene
ningn elemento (algo que
denotaremos por secuencia
vaca). El esquema se puede
aplicar sin ninguna dificultad
a problemas en los que se den
casos en los que la secuencia
a tratar no tenga ningn elemento.
19
FUOC PID_00149891
ro. Tenemos dos opciones: recorrer los dgitos de un nmero de izquierda a derecha o hacerlo de derecha a izquierda (para sumar los dgitos no importa cmo
lo hagamos, ya que la suma es conmutativa y asociativa). Elegimos la segunda
opcin porque nos resultar un poco ms sencillo recorrer los dgitos de menos
significativo a ms significativo (como ejercicio podis intentar resolver el problema de la otra forma). As, por ejemplo, la secuencia correspondiente al nmero 7.463 ser: <3, 6, 4, 7>.
Para ir generando la secuencia de dgitos slo tenemos que empezar con el nmero original e ir dividindolo por diez. Entonces, cada vez que queramos acceder a un dgito (que se corresponder al dgito menos significativo) slo tenemos
que calcular el nmero mdulo 10.
Utilizaremos una variable para guardar el dgito en cada iteracin (por ejemplo, d) y otra para guardar la suma de los dgitos que ya hemos tratado (suma),
aparte de la variable que leeremos de la entrada (utilizaremos n), y que iremos
dividiendo por 10 a medida que vayamos avanzando el cabezal por la secuencia de dgitos.
Pasando ya al refinamiento, tenemos que:
prepararSecuencia: el nmero n se corresponde en realidad a la secuencia de dgitos. El cabezal debe ubicarse en su dgito menos significativo. Esto lo podemos hacer as:
d := n mod 10;
inicioTratamiento: consiste en inicializar la variable suma en 0 (el elemento

neutro de la suma).
tratarElemento: debemos sumar el dgito menos significativo (que tenemos
en la variable d):
suma := suma + d;
avanzarSecuencia: debemos pasar al siguiente dgito. Esto lo hacemos dividiendo n por 10. De esta forma eliminamos el dgito menos significativo de n de
modo que el nuevo dgito menos significativo pasa a ser el segundo dgito menos significativo. Despus, debemos encontrar el nuevo dgito menos significativo:
n := n div 10;
d := n mod 10;
finSecuencia: habremos recorrido (y tratado) todos los dgitos del nmero inicial cuando el nmero n (que hemos ido dividiendo por 10) sea 0.
tratamientoFinal: el algoritmo debe escribir la suma de los dgitos por el dispositivo de salida.
20
FUOC PID_00149891
Con todo esto, el algoritmo queda como sigue:

algoritmo sumaDigitos
var
n, suma, d: entero;
fvar
n := leerEntero();
{ Pre: n = N y N 0 }
d := n mod 10;
suma := 0;
mientras no(n = 0) hacer
{ suma es la suma de dgitos que hay en N que ya han sido
tratados. El nmero d es el dgito que se est tratando }
suma := suma + d;
n := n div 10;
d := n mod 10
fmientras
{ suma es la suma de dgitos que hay en N }
escribirEntero(suma)
{ Post: por el dispositivo de salida se ha escrito
la suma de los dgitos de N }
falgoritmo
La condicin
del mientras,...
... en lugar de ser no (n = 0),
podra ser perfectamente n 0
(que es lo mismo); o bien n > 0.
En esta figura podemos observar grficamente cmo se comporta el algoritmo

para el caso concreto en el que n = 7.463.
Algoritmo
d := n mod 10;
suma := 0;
Estado
Secuencia y cabezal
Variables
del
tratamiento
Despus de
prepararSecuencia
e inicioTratamiento
suma = 0
Despus de tratar
el primer elemento
suma = 3
Como vemos,...

suma := suma + d;
n := n div 10;
d := n mod 10
Despus de tratar
el segundo
elemento
suma = 9
Despus de tratar
el tercer elemento
suma = 13
Habiendo tratado
toda la secuencia
suma = 20
fmientras
...
fmientras
escribirEntero(suma);
... en este ejemplo hay dos variables que intervienen en la generacin de la secuencia. En este
caso nos podramos haber ahorrado fcilmente la variable d.
Sin embargo, a medida que
vayamos trabajando con algoritmos ms complejos, es probable que nos encontremos
frecuentemente con casos en
los que nos haga falta ms de
una variable para generar
la secuencia.
FUOC PID_00149891
21
3. Esquema de bsqueda en una secuencia
3.1. Planteamiento del esquema
Introducimos en este apartado el segundo esquema de tratamiento secuencial de los que veremos en este curso: el esquema de bsqueda. Este esquema nos permitir buscar un elemento en una secuencia. A diferencia del
esquema de recorrido, donde recorremos y tratamos todos los elementos de
la secuencia, con este nuevo esquema recorreremos la secuencia nicamente
hasta que encontremos un elemento que cumpla una condicin determinada. Esta condicin no tiene por qu referirse a un elemento con un valor
concreto (como por ejemplo, cuando queremos encontrar la primera letra a
en una frase), sino que puede ser una condicin ms general (encontrar el
primer nmero par de una secuencia de enteros, la primera palabra capica
de un texto, etc.).
El esquema de bsqueda es como sigue:
algoritmo EsquemaBusqueda
var
encontrado: booleano;
fvar
prepararSecuencia
encontrado := falso;
inicioTratamiento
{ El cabezal est al principio de la secuencia. No hemos tratado ningn elemento de sta }
mientras no finSecuencia y no encontrado hacer
cabezal. El elemento buscado no est en esta parte de la secuencia.
Adems, el cabezal no est al final y encontrado es falso. }
actualizarEncontrado
si no encontrado entonces
tratarElemento
avanzarSecuencia
fsi
{ Hemos tratado la parte de la secuencia que est a la izquierda del cabezal. El elemento buscado no est en esta parte de
la secuencia. Si encontrado es cierto, el elemento actual es el
elemento buscado. }
fmientras
FUOC PID_00149891
22

cabezal. El elemento buscado no est en esta parte de la secuencia.
Adems, si encontrado es cierto, el cabezal apunta al elemento
buscado; y si es falso, el cabezal est al final de la secuencia. }
tratamientoFinal
falgoritmo
El esquema est preparado para el caso en que la secuencia no contenga el elemento buscado. En este caso, se llega al final de la secuencia y se acaba la ejecucin del bloque mientras con la variable encontrado a falso.
En el caso de que la secuencia s contenga el elemento buscado, el condicional
interno del bloque mientras hace que el cabezal se site sobre el elemento buscado (que no se trata). Se sale del bucle mientras con la variable encontrado con
valor cierto.
Posteriormente, podemos utilizar el valor de encontrado en tratamientoFinal
para determinar si hemos encontrado o no el elemento y emprender las acciones pertinentes en cada caso (como por ejemplo, tratar el elemento encontrado,
si es necesario darle tratamiento).
Tal y como hemos hecho en el esquema de recorrido, en el esquema de bsqueda hemos aadido de forma orientativa la descripcin de los estados en que se
encuentra el algoritmo en diferentes momentos del proceso.
3.2. Refinamiento
Pasemos a comentar cada una de las partes del esquema, que igual que en el
esquema de recorrido deben ser sustituidas al refinarlo:
prepararSecuencia: del mismo modo que en el esquema de recorrido, si la secuencia tiene al menos un elemento (no est vaca), se procede a encontrar
el primer elemento de la secuencia. Y si la secuencia est vaca, situamos el
cabezal en la posicin extra del final de la secuencia.
inicioTratamiento: equivale a inicializar las variables correspondientes al tratamiento. Slo es necesario en caso de que sea una bsqueda con tratamiento (muchas bsquedas tienen como nico objetivo encontrar un elemento
determinado, sin hacer ningn tratamiento a los elementos que se recorren).
finSecuencia: corresponde a una expresin que evaluar a cierto cuando el cabezal est al final de la secuencia.
actualizarEncontrar: corresponde a un conjunto de acciones que tienen como
objetivo determinar si el elemento actual se corresponde con el elemento bus-
FUOC PID_00149891
23
cado o no. En caso de serlo, la variable encontrado debe tener como valor cierto
despus de ejecutar este conjunto de acciones. Y, en caso de no serlo, la variable encontrado debe tener como valor falso.
tratarElemento: corresponde al conjunto de acciones que llevan a cabo el tra-
Es habitual que...
... en las bsquedas no nos
haga falta tratamiento, a pesar
de que, evidentemente, no
siempre ser as.
tamiento de un elemento de la secuencia. En una bsqueda sin tratamiento,

este conjunto de acciones estar vaco.
avanzarSecuencia: corresponde a un conjunto de acciones que hacen avanzar
el cabezal una posicin.
tratamientoFinal: corresponde a un conjunto de acciones que nos debe permitir obtener el resultado del algoritmo a partir de la bsqueda realizada.
3.3. Especificacin
Volvamos otra vez a reflexionar sobre el comportamiento del esquema haciendo un estudio de su especificacin.
Las descripciones de los estados que aparecen en el esquema estn totalmente
marcadas por el invariante del mientras y de la bsqueda, que corresponde a:
Hemos tratado la parte de la secuencia que est a la izquierda del cabezal. El
elemento buscado no est en esta parte de la secuencia. Si encontrado es cierto,
el elemento actual es el elemento buscado.
El invariante, junto con la negacin de la condicin del mientras, nos debe permitir, despus de ejecutar el tratamiento final, asegurar que la postcondicin del
algoritmo se cumple.
El invariante proporcionado es bastante general y se debe concretar para cada
aplicacin del esquema (igual que concretamos o refinamos los fragmentos del esquema en conjuntos de acciones o bien, expresiones del lenguaje algortmico).
En cuanto a la funcin de cota, la podemos hacer corresponder con el nmero
de elementos que quedan por tratar. Sin embargo, a diferencia del esquema de
recorrido, este nmero no corresponde al nmero de elementos de la secuencia. Es posible que encontremos el elemento buscado, y en este caso el nmero
de elementos tratados ser inferior al nmero de elementos de la secuencia.
Entonces, lo nico que hay que asegurar es que el nmero de elementos tratados es finito; para ello tenemos suficiente con asegurar que, o bien la secuencia
es finita, o bien siempre encontraremos el elemento buscado. Es decir, podemos
aplicar el esquema de bsqueda sobre secuencias infinitas siempre que estemos seguros de que encontraremos el elemento buscado. De este modo, por ejemplo,
podramos aplicar el esquema de bsqueda para encontrar un nmero primo que
sea capica, siempre que el propio enunciado nos asegure su existencia (o bien
nosotros lo hayamos deducido de otra forma).
Como antes,...
... este apartado queda fuera
del mbito de esta asignatura,
pero os puede resultar bastante til.
FUOC PID_00149891
24
3.4. Metodologa
La metodologa que debemos utilizar para aplicar el esquema de bsqueda es
la misma que empleamos para el esquema de recorrido (ya ha sido introducida
en el punto 2.4). Evidentemente, se da una pequea diferencia en el paso nmero 5, donde los fragmentos de esquema que hay que refinar son diferentes
en cada caso.
3.5. Ejemplos
3.5.1. Nmeros de Fibonacci
Nos piden disear un algoritmo que determine si entre los 1.000 primeros nmeros de Fibonacci hay algn nmero que acabe en 9. Tambin nos piden que
en caso de que el nmero exista, lo escribamos por el dispositivo de salida; y
si no existe, que escribamos el entero negativo 1.
Los nmeros de Fibonacci estn definidos de la siguiente forma:
fib1 = 0
fib2 = 1
fibn = fibn1 + fibn2, para n > 2
Vamos a solucionar el problema. En primer lugar, como siempre, especificamos el algoritmo:
{ Pre: cierto }
buscarFibonacci9
{ Post: en el caso de que este nmero exista, por el dispositivo de salida se habr escrito
uno de los primeros 1.000 nmeros de Fibonacci, que, adems acaba en 9. Si este nmero
no existe, se habr escrito un 1 }
Ahora planteamos el algoritmo en trminos de secuencias. La secuencia de los

1.000 primeros nmeros de Fibonacci; es decir: <fib1, fib2, fib3, ..., fib999, fib1.000>.
Fijmonos en que no tenemos suficiente con los valores de los nmeros; necesitamos tambin los subndices para saber cundo hemos llegado al final de
la secuencia (cuando el subndice sea igual a 1.001, esto querr decir que el cabezal est en la posicin especial que sigue despus del ltimo elemento de la
secuencia).
Recordad el ejemplo de los divisores visto en el apartado 2.5.1. En este apartado
se dice que la secuencia de los divisores no es la ms adecuada, ya que encontrar
el siguiente divisor implica hacer una bsqueda (algo que nos podamos ahorrar
utilizando una simple secuencia de nmeros enteros). En este caso nos sucede
justo lo contrario: dados los dos nmeros de Fibonacci anteriores, es fcil encontrar el siguiente. En cambio, dado un entero cualquiera, determinar si es el siguiente nmero de Fibonacci parece bastante complicado. As pues, aqu la
secuencia adecuada es la de los mismos nmeros de Fibonacci.
Notad que...
... este algoritmo no tiene ningn
dato de entrada. Por lo tanto, en
la precondicin no es necesario
establecer ninguna restriccin sobre los datos de entrada. Por este
motivo, la precondicin siempre
se cumplir y, por lo tanto, corresponde a cierto.
25
FUOC PID_00149891
Construir la secuencia de los nmeros de Fibonacci no resulta nada complicado: los dos primeros los conocemos, el tercero lo podemos construir con la
suma de los dos primeros, el cuarto como la suma del segundo y el tercero, etc.,
as hasta llegar a fib1.000.
El enunciado nos pide que escribamos uno de estos nmeros que acabe en 9.
No nos pide ninguno en concreto, ni el primero, ni el ltimo, ni ningn otro.
As pues, elegiremos el menor que podamos encontrar, ya que, si de forma natural recorreremos la secuencia de los nmeros de Fibonacci de menor a mayor, ser el primero que encontremos (si es que existe, claro).
As pues, nuestro problema consistir en buscar en la secuencia constituida por
los 1.000 primeros nmeros de Fibonacci el primero que acabe en 9. Debemos
tener en cuenta que, de entrada, no sabemos si este nmero existe o no.
Recordad que...
... al dar un algoritmo para
resolver un problema, se trata,
como siempre, de satisfacer la
especificacin. Si sta nos ofrece varias posibilidades, nosotros somos libres de elegir la
que ms nos convenga (normalmente eligiremos aquella
que consuma menos recursos,
tanto en tiempo como en espacio de memoria).
Utilizaremos tres variables para ir calculando los nmeros de Fibonacci (actual,

siguiente y siguiente2). Y adems, nos har falta una variable ndice para saber
cundo hemos llegado ya a fib1.000 (utilizaremos i, que estar asociada al ndice
del nmero de Fibonacci correspondiente a actual).
Pasemos ahora a refinar el esquema. Veamos a qu corresponde cada una de
las partes:
prepararSecuencia: corresponde a encontrar el primer elemento de la secuencia. Dado que para calcular un nmero de Fibonacci necesitamos los dos anteriores, inicializaremos actual con el primer nmero de Fibonacci y siguiente
con el segundo. Al mismo tiempo, debemos mantener el ndice i asociado a
actual (es decir, lo inicializamos en 1, pues actual se corresponde a fib1).
actual := 0;
siguiente := 1;
i := 1;
inicioTratamiento: no hacemos ningn tratamiento; por lo tanto, esta parte

del esquema no corresponde a ninguna accin.
finSecuencia: habremos llegado al final de la secuencia cuando se cumpla i =
= 1.001; o tambin, i > 1.000.
actualizarEncontrado: debemos comprobar si el elemento actual (indicado por
la variable actual) acaba en 9, y en este caso poner encontrado en verdadero. Esto
lo podemos hacer con un condicional, del siguiente modo:
si actual mod 10 = 9 entonces
encontrado := cierto;
fsi
O tambin lo podemos hacer con una asignacin as:

encontrado := actual mod 10 = 9;
Observad que...
... la secuencia es un poco ms
compleja que las que encontrbamos en los ejemplos que
habamos visto hasta ahora.
Un elemento de la secuencia
est asociado a los valores de
dos variables: actual (que es el
nmero de Fibonacci en cuestin) y el ndice i (que es el subndice correspondiente).
Adems, como para calcular
un nmero de Fibonacci nos
hacen falta los dos anteriores,
debemos tener siempre calculados dos nmeros de Fibonacci consecutivos a la vez (actual
y siguiente).
26
FUOC PID_00149891
tratarElemento: dado que no hay tratamiento, se corresponde al conjunto de

instrucciones vaco.
avanzarSecuencia: aqu avanzar es un poco ms complicado que en los ejemplos que hemos visto hasta ahora. El motivo es que intervienen distintas variables a causa de que para calcular el siguiente nmero de Fibonacci nos
hacen falta los anteriores. La forma de proceder ser la siguiente: necesitamos
hacer correr actual y siguiente una posicin en la secuencia. Para hacerlo, debemos conocer el nmero de Fibonacci que sigue a siguiente. Lo calculamos y
lo guardamos en siguiente2. Una vez hecho esto, ya podemos hacer correr actual y siguiente una posicin; y al mismo tiempo, tambin debemos incrementar el ndice. Vemoslo:
{ Calculamos el siguiente nmero de Fibonacci }

siguiente2 := actual + siguiente;
{ ahora ya podemos hacer correr actual y siguiente una posicin }
actual := siguiente;
siguiente := siguiente2;
{ finalmente, actualizamos el ndice de actual }
i := i + 1;
tratamientoFinal: consiste en comprobar si la bsqueda ha tenido xito, y en

escribir entonces el nmero encontrado por el dispositivo de salida. En caso
contrario, escribiramos un 1.
si encontrado entonces
escribirEntero(actual)
sino
escribirEntero(1)
fsi
Veamos cmo queda el algoritmo juntando todos los fragmentos:

algoritmo buscarFibonacci9
var
actual, siguiente, siguiente2 : entero;
i: entero;
fvar
{ Pre: cierto }
actual := 0;
siguiente := 1;
i := 1;
mientras i 1000 y no encontrado hacer
{ calculamos el siguiente nmero de Fibonacci }
{ ahora ya podemos hacer correr actual y siguiente una posicin }
{ finalmente, actualizamos el ndice de actual }
i := i + 1
fsi
fmientras
Notad que,...
... en realidad, el condicional
no es equivalente a la asignacin sin condicional. Mientras
en el primero slo se establece
el valor de encontrado cuando
el nmero acaba en 9, en el segundo se establece el valor de
encontrado siempre (bien a
cierto si el nmero acaba en 9,
o bien a falso en caso contrario). Sin embargo, dado que
cuando encontrado se hace
cierto la bsqueda termina
en ese preciso momento, las
dos versiones nos sirven.
Tened en cuenta tambin que
actual mod 10 = 9 es una expresin booleana que tiene
como resultado cierto si actual
mod 10 es 9, y falso en caso
contrario.
27
FUOC PID_00149891
sino
escribirEntero(1)
fsi
{ Post: Por el dispositivo de salida se ha escrito uno de los primeros 1.000 nmeros de
Fibonacci que, adems, acaba en 9, en el caso de que este nmero exista. Si este nmero
no existe, se ha escrito un 1 }
falgoritmo
A continuacin podemos ver de forma grfica cmo se va realizando la bsqueda:

Algoritmo
Estado
Secuencia y cabezal
Como en este caso...
actual := 0;
siguiente := 1;
i := 1;
mientras i 1.000 y no encontrado
hacer
...
... la bsqueda no tiene tratamiento, nos ahorramos la columna correspondiente a las

variables del tratamiento.
Despus de
prepararSecuencia
e inicioTratamiento
Despus de descartar
el primer elemento
mientras i 1.000 y no encontrado

hacer
Despus de descartar
el segundo elemento

...
i := i + 1
fsi
fmientras
Despus de descartar
el decimosptimo
elemento
Despus de descartar
el decimoctavo
elemento
(actualizarEcontrado
pone encontrado
a cierto)
...
fmientras
sino
escribirEntero(1)
fsi
Habiendo
encontrado el
elemento buscado
................
FUOC PID_00149891
28
3.5.2. Nmeros primos

Nos piden disear una funcin que determine si un nmero entero positivo
es primo o no, retornando cierto en caso afirmativo y falso en caso contrario.
La especificacin de la funcin (ya nos la da el enunciado) es la siguiente:
funcion esPrimo(n: entero): booleano
{ Pre: n = N y N > 0 }
{ Post: El valor retornado por la funcin esPrimo ser cierto si N es primo, y falso en caso
contrario }
Solucionemos el problema. Como ya tenemos la especificacin, lo primero que

debemos hacer es plantear el algoritmo en trminos de tratamiento secuencial.
Cmo reformulamos el problema en funcin de una bsqueda en una secuencia? Pues pensemos en primer lugar qu significa que un nmero sea primo: si
un nmero N es primo, quiere decir que no hay ningn otro nmero entre 2 y
N 1 que lo divida.
Para comprobar si un nmero N es primo o no, tendremos que verificar que no
hay ningn nmero entre 2 y N 1 que lo divida. Es decir, debemos verificar
que todos los elementos de la secuencia <2, 3, 4, ..., N 1> no dividen N.
En el momento en que encontremos un elemento de la secuencia que divida
N ya podemos acabar la bsqueda, no se cumple que todos los elementos de
la secuencia no son divisores de N. En cambio, si no lo encontramos, concluiremos que todos los elementos de la secuencia no son divisores de N (es decir,
ninguno de ellos es divisor); y por lo tanto, que N es un nmero primo.
Notad que el hecho de comprobar que todos los elementos de una secuencia
cumplen una propiedad se puede reformular como una bsqueda de un elemento de la secuencia que no cumple dicha propiedad.
Es habitual encontrarse con problemas que corresponden a la aplicacin del esquema de bsqueda sin que la palabra bsqueda aparezca por ningn lado. Este
caso, en el que debemos comprobar que todos los elementos de la secuencia cumplen una propiedad, es uno de los ms habituales.
De este modo, el problema queda reformulado como una bsqueda en la secuencia <2, 3, 4, ..., N 1> de un divisor de N. Nos hace falta una variable (utilizaremos i) para ir visitando los diferentes elementos de la secuencia. Aparte,
tendremos el dato de entrada que corresponde al nmero que queremos comprobar si es primo, y que en este caso recibimos como un parmetro de entrada
de la funcin (lo denominamos n). Por ltimo, tenemos una variable booleana
(que denominaremos primo) que se corresponder con el resultado que hay
que retornar. As pues, refinemos el esquema:
prepararSecuencia: consiste en inicializar i a 2.
En realidad,...
... tenemos suficiente con verificar esto para los elementos
de la secuencia <2, 3, 4, ..., K>,
donde K es el mayor nmero
tal que K2 N. Siempre que
exista un divisor entre K y N,
seguro que habr otro entre
2 y K (de forma que, multiplicndolos los dos, nos d N).
De la misma manera, si N no es
divisible por 2, tampoco lo ser
por 4, 6, ...
29
FUOC PID_00149891
inicioTratamiento: no hay tratamiento.

finSecuencia: el cabezal habr llegado a la posicin que hay ms all del ltimo elemento cuando se cumple que i = n. O si quisiramos hacer una versin ms eficiente (tal y como se ha comentado antes), finSecuencia se
podra corresponder a i * i > n.
actualizarEncontrado: no debemos olvidar que buscamos un divisor de n; por
lo tanto, aqu debemos poner encontrado en cierto si el elemento actual es
divisor de n. Del mismo modo que en el ejemplo anterior, esto se puede conseguir tanto con un condicional como con una simple asignacin. De este
modo:
encontrado := cierto
fsi
O bien as:
encontrado := n mod i = 0;
avanzarSecuencia: simplemente debemos incrementar la variable i.

tratamientoFinal: una vez hemos llevado a cabo la bsqueda, veremos que
la variable encontrado tendr como valor cierto si n tiene algn divisor y
falso si, por el contrario, no tiene ninguno. De este modo, el nmero ser
primo si no hemos encontrado ningn divisor, y no primo si hemos encontrado alguno. Esto corresponde a la siguiente asignacin:
primo := no encontrado;
Fcilmente nos podramos haber ahorrado esta variable retornando directamente como resultado de la funcin la expresin no encontrado. No lo hemos hecho as con la nica intencin de mostrar explcitamente que existe
un tratamiento final que consiste en negar el booleano encontrado.
Veamos, entonces, cmo queda la funcin esPrimo:
funcion esPrimo(n: entero): booleano
{ Pre: n = N y N > 0 }
var
encontrado, primo: booleano;
i : entero;
fvar
i := 2;
mientras i < n y no encontrado hacer
fsi
i := i + 1
fsi
fmientras
primo := no encontrado;
retorna primo;
{ Post: primo es cierto si N es primo y falso en caso contrario }
ffuncion
Notad que...
... muchas veces podremos
fusionar construcciones algortmicas adjuntas. Aqu, por ejemplo, podemos fusionar los dos si
en:
sino
i := i + 1
fsi
Este proceso de fusin siempre
debe ser posterior al refinamiento del esquema y nunca
debe ser una excusa para no
aplicarlo correctamente.
30
FUOC PID_00149891
4. Esquemas aplicados a secuencias de entrada/salida
Como ha quedado dicho, las secuencias sirven para modelizar muchos de los problemas que podemos resolver con un algoritmo. Como caso particular muy habitual, encontramos el procesamiento secuencial de la entrada de un algoritmo
(datos que lee del teclado, un fichero, etc.). Esto ampla el tipo de problemas que
podremos resolver: ahora ya no nos tendremos que limitar a tratar secuencias generadas por el propio algoritmo, sino que seremos capaces de procesar secuencias
que nos vienen dadas. Teniendo en cuenta la frecuencia con que se dan estas situaciones, refinaremos los esquemas introducidos en las secciones anteriores para
obtener de los mismos una adaptacin al tratamiento de la entrada.
Utilizaremos las operaciones de lectura que se presentaron en el mdulo anterior (las funciones leerEntero, leerReal y leerCaracter). Eso s: en cada tratamiento
secuencial slo se podr utilizar una de las tres funciones, teniendo en cuenta
que todos los elementos de una secuencia deben ser del mismo tipo.
En todo tratamiento secuencial es indispensable un mecanismo de deteccin del
final de la secuencia. En el caso de la entrada, para hacer esta deteccin se suele
aadir un elemento adicional detrs del ltimo elemento relevante. Este elemento no se debe tratar, slo hace el papel de aviso de final de secuencia. Denominamos este elemento marca, y las secuencias que tienen marca las denominamos,
como es natural, secuencias marcadas. De este modo, la entrada del programa ser
una secuencia marcada. Esto quiere decir que no tendremos nunca la secuencia
vaca: deberemos leer aunque no la tratemos, como mnimo, la marca.
4.1. Esquema de recorrido aplicado a la entrada

4.1.1. Planteamiento
El refinamiento del esquema presentado en la seccin 2 para adaptarlo como
acabamos de explicar queda de este modo:
algoritmo RecorridoEntrada
var elem: T;
fvar
{ donde T es el tipo de datos de los elementos de la secuencia }
elem := leer(); { Funcin de lectura del tipo de datos de los elementos

de la secuencia. Depender del tipo T que no es relevante frente a la formulacin de este esquema }
inicioTratamiento
31
FUOC PID_00149891
mientras no (elem = marca) hacer { Hemos tratado todos los elementos ledos a excepcin del ltimo, que se encuentra en elem y
no es la marca }
tratarElemento(elem)
elem := leer()
{ La misma funcin de lectura que antes }
fmientras
{ Hemos tratado todos los elementos ledos a excepcin del ltimo, que es la marca }
tratamientoFinal
falgoritmo
4.1.2. Especificacin
De forma similar a lo que hemos hecho en las secciones anteriores, y a pesar
de que no se incluya en los objetivos de la asignatura, reflexionemos un poco
sobre la correccin del algoritmo que acabamos de presentar.
En el esquema hemos mantenido la descripcin de los estados en los que se encuentra el algoritmo en diferentes momentos del proceso, adaptndola teniendo en cuenta que la secuencia es el dispositivo de entrada. El invariante del
mientras hemos tratado la parte de la secuencia que est antes del cabezal se
ha refinado como hemos tratado todos los elementos ledos a excepcin del ltimo. Por otro lado, sabemos que el ltimo ledo (el cabezal) est siempre guardado en la variable elem. Adems, dentro del bucle, elem no es la marca, porque
de otro modo no hubisemos entrado. El caso concreto del invariante antes de
empezar a iterar (el cabezal est al principio de la secuencia en el original) es
elem tiene el primer valor de la entrada, y despus de hacer todo el tratamiento
(hemos tratado toda la secuencia y el cabezal est al final en el original) es hemos tratado toda la entrada anterior a la marca y elem contiene la marca.
Recordad que, al igual que habis hecho con las diferentes partes del esquema,
la invariante tambin se debe refinar para cada problema concreto al que apliquemos el esquema de recorrido.
Finalmente, la nocin de cota se convierte ahora en el nmero de elementos
de la entrada que quedan por leer.
4.1.3. Ejemplo
Como ejemplo de aplicacin de este esquema, disearemos un algoritmo que
cuente las veces que la letra a aparece en una frase acabada con un punto e
introducida por el teclado. La especificacin es la siguiente:
{ Pre: en la entrada leeremos una secuencia de caracteres que no contiene ningn punto
seguida de un punto }
cuentaLetraA
{ Post: escribe el nmero de veces que aparece la letra a en la entrada }
Notad que...
... no hemos hecho ms
que copiar el esquema de
recorrido cambiando prepararSecuencia por una lectura,
finSecuencia por una comparacin con la marca y avanzarSecuencia por una lectura. En este
refinamiento, el cabezal corresponde a la variable elem,
donde se encuentra el ltimo
elemento ledo, y la posicin
final de la secuencia corresponde a la marca.
32
FUOC PID_00149891
Podemos asimilar este algoritmo a un recorrido de la entrada en el que el tratamiento de cada elemento consiste en incrementar o no un contador segn
el elemento sea o no sea una letra a. El punto final de la frase acta como marca de la secuencia. No nos es preciso ningn tratamiento final, y el tratamiento inicial se refina al inicializar el contador a 0, mientras que el tratamiento de
un elemento se convierte en una instruccin alternativa (si ... fsi).
Con estos refinamientos obtenemos este algoritmo:
algoritmo cuentaLetraA
var car: caracter; n: entero;
fvar
car := leerCaracter();
n := 0;
mientras no car = . hacer
{ n es el nmero de letras a que haba entre los caracteres ledos excepto el ltimo, que se
encuentra en car y no es el punto final }
si car = a entonces n := n + 1
fsi
car := LeerCaracter()
fmientras
{ n es el nmero de letras a que haba entre los caracteres ledos excepto el ltimo, que es el
punto final }
escribirEntero(n)
falgoritmo
Para facilitar la identificacin del algoritmo con el esquema de recorrido original, veamos una representacin grfica de la evolucin de su ejecucin en la
tabla siguiente. Supongamos que en la entrada encontraremos los caracteres
l, a, c, a y .. La segunda columna representa la secuencia del esquema y
la tercera presenta el valor de las variables:
La variable car refleja el estado de la secuencia y contiene el ltimo elemento ledo que, como hemos dicho, corresponde al cabezal de la secuencia.
La variable n, tal como indican los predicados del algoritmo, contiene el nmero de letras a que hay antes del cabezal.
La primera fila representa el estado despus de ejecutar las inicializaciones (preparar la secuencia e inicializar el tratamiento). Las filas siguientes representan el
estado al final de cada iteracin del bucle. Una flecha recuerda a qu punto concreto del algoritmo corresponde el valor de las variables que se muestra.
Algoritmo
n := 0;
Secuencia
Variables
car = l
n=0
Para mayor claridad,...

... tambin conviene generalmente, como ya hemos dicho,
refinar los predicados informales que describen el estado
al comienzo de cada iteracin
y despus del bucle.
33
FUOC PID_00149891
Algoritmo
Secuencia
Variables
car = a
n=0
car = c
n=1
mientras no car = . hacer

si car = a entonces
n := n + 1
fsi
car := leerCaracter()
fmientras
car = a
n=1
car = .
n=2
4.2. Esquema de bsqueda aplicado a la entrada

4.2.1. Planteamiento
Pasemos ahora a refinar el esquema de bsqueda original que hemos visto anteriormente en este mdulo para obtener un esquema de bsqueda en el que
la secuencia explorada es un dato de entrada del algoritmo.
Como en el apartado anterior, tratamos la entrada como una secuencia con una
marca que actuar como la posicin final del cabezal. Tambin tendremos una variable elem que contendr el valor correspondiente a la posicin del cabezal del
esquema de bsqueda original.
De este modo, como antes, hacemos estos refinamientos:
prepararSecuencia: poner el cabezal en la primera posicin equivale a hacer que
elem contenga el primer valor.
elem := leer();
34
FUOC PID_00149891
finSecuencia: comprobar si el cabezal est al final.

elem = marca
avanzarSecuencia
elem := leer();
Como antes, segn el tipo de elem, la funcin de lectura ser leerCaracter(), leerEntero() o leerReal().
El esquema resultante es el siguiente:
algoritmo BsquedaEntrada
var
elem: T; { Tipos de datos de los elementos de la secuencia }
fvar
elem := leer(); { Funcin de lectura del tipo de datos de los elementos de la secuencia. Depender del tipo T que no
es relevante para la formulacin de este esquema }
inicioTratamiento
mientras no (elem = marca) y no encontrado hacer
{ Hemos tratado todos los elementos ledos a excepcin del ltimo,
que se encuentra en elem y no es la marca. Ninguno de los elementos tratados es el que buscamos }
actualizarEncontrado
tratarElemento
elem := leer() { La misma funcin de lectura que antes }
fsi
fmientras
{ Hemos tratado todos los elementos ledos a excepcin del ltimo,
que se encuentra en elem. Ninguno de los elementos tratados es el que
buscamos. Si encontrado es cierto, elem es el elemento buscado; si es
falso, elem es la marca }
tratamientoFinal
falgoritmo
4.2.2. Especificacin
De forma similar a lo que hemos hecho en las secciones anteriores, reflexionemos un poco sobre la correccin del esquema que acabamos de presentar. Tal
como hemos hecho en la seccin anterior, examinemos la conexin que se establece entre el esquema de bsqueda general y el esquema adaptado para procesar el dispositivo de entrada.
FUOC PID_00149891
35
El predicado del inicio del mientras hemos tratado la parte de la secuencia que
est antes del cabezal. El elemento buscado no est en esta parte de la secuencia.
Adems, el cabezal no est al final se ha reformulado en hemos tratado todos
los elementos ledos a excepcin del ltimo, que se encuentra en elem y no es la
marca. Ninguno de los elementos tratados es el que buscamos.
Una vez ms, el invariante proporcionado es bastante general y se debe concretar
para cada aplicacin del esquema (igual que concretamos o refinamos los fragmentos del esquema en conjuntos de acciones o en expresiones del lenguaje algortmico).
En lo que respecta a la funcin de cota, vuelve a corresponder al nmero de elementos que quedan por leer.
4.2.3. Ejemplo
Un ejemplo sencillo de aplicacin de la bsqueda a la entrada consiste en averiguar si en una frase acabada en punto aparece alguna letra a.
{ Pre: en la entrada leeremos una secuencia de caracteres que no contiene ningn punto seguida de un punto }
saleLetraA
{ Post: por el dispositivo de salida se escribe S si en la entrada hay alguna letra a y N en
caso contrario }
A pesar de la similitud de este ejemplo con el anterior (contar el nmero de

letras a), ahora no lo debemos resolver con un recorrido sino con una bsqueda, porque no es necesario continuar procesando la secuencia a partir del momento en que encontramos una letra a. De este modo, a partir del esquema de
bsqueda en la entrada, haciendo los refinamientos necesarios obtenemos el
algoritmo siguiente:
algoritmo hayLetraA
var
car: caracter;
fvar
mientras no (car = .) y no encontrado hacer
{ Ninguno de los elementos ledos anteriores al ltimo es una letra a.
El ltimo est en car }
encontrado := car = a;
fsi
fmientras
{ Ninguno de los elementos ledos anteriores al ltimo es una letra a.
El ltimo est en car. Si encontrado es cierto, car es una letra a; si es falso, car es el
punto final }
si encontrado entonces escribirCaracter(S)
si no escribirCaracter(N)
fsi
falgoritmo
Es una bsqueda...
... sin tratamiento, de forma
que no hay ni InicioTratamiento
ni TratarElemento ni TratamientoFinal. El refinamiento de
ActualizarEncontrado es, sencillamente:
encontrado := car = a.
36
FUOC PID_00149891
Veamos, como antes, la evolucin de la ejecucin con una tabla para intentar
identificar el algoritmo con el esquema de bsqueda original. Supongamos
ahora que en la entrada encontraremos los caracteres t, o, c, a y .. De
nuevo, la segunda columna representa la secuencia del esquema y la tercera
presenta el valor de las variables:
car refleja el estado de la secuencia y contiene el ltimo elemento ledo
que, como hemos dicho, corresponde al cabezal de la secuencia lgica.
encontrado se asignar a cierto si el elemento del cabezal es decir, car es
una a.
Recordemos que la primera fila representa el estado despus de ejecutar las inicializaciones (preparar la secuencia e inicializar encontrado) y que cada una de
las filas siguientes representa el estado al final de cada iteracin del bucle.
Algoritmo
Secuencia
Variables
car = t
encontrado = falso
car = o
encontrado = falso
mientras no car = . y no
encontrado hacer
encontrado := car= a;
si no encontrado
entonces
car = c
encontrado = falso
fsi
fmientras
car = a
encontrado = cierto
4.3. Tres ejemplos

4.3.1. Media aritmtica
Nos piden un algoritmo que calcule la media aritmtica de una serie de nmeros reales que tenemos que leer de la entrada. Nos aseguran que habr por lo
menos un nmero en la serie, que todos los nmeros son diferentes de 0.0 y
que detrs del ltimo elemento de la serie habr un 0.0.
{ Pre: en la entrada leeremos uno o ms reales diferentes de 0.0 seguidos de un 0.0 }
media
{ Post: se ha escrito por el dispositivo de salida la media de los nmeros ledos sin contar
el 0.0 }
FUOC PID_00149891
37
Este problema se resuelve claramente con un recorrido de la entrada. Queremos que el bucle cuente y sume los elementos de la entrada. Por eso, antes de
cada iteracin queremos que un contador n diga cuntos elementos hemos
tratado (los que hemos ledo excepto el ltimo) y que un acumulador sum sea
la suma de estos n nmeros. De este modo, al final de la entrada, cuando hayamos ledo la marca, n ser el nmero de elementos relevantes que haba y
sum la suma de estos elementos. Para cumplir la condicin al principio, cuando hemos ledo un elemento es necesario que n y sum equivalgan a cero.
Hemos refinado...
... el esquema de recorrido de
la entrada de forma que la
marca es el 0.0, el tratamiento
inicial es la inicializacin a cero
del nmero de elementos y la
suma y el tratamiento de un
elemento consiste en sumarlo
con la suma anterior e incrementar el contador de elementos El tratamiento final realiza
la divisin para obtener el resultado pedido.
algoritmo media
var
x, sum: real;
n: entero
fvar
x := leerReal();
n := 0;
sum := 0.0;
mientras no (x = 0.0) hacer
{ sum = suma de todos los elementos ledos a excepcin del ltimo, que se encuentra
en x y no es la marca y n = nmero de elementos sumados }
sum := sum + x;
n := n + 1;
x := leerReal()
fmientras
{ sum = suma de todos los elementos ledos a excepcin del ltimo, que es la marca, y
n = nmero de elementos sumados }
escribirReal(sum/enteroAReal(n)).
falgoritmo
Observad que para poder dividir

sum entre n, se debe hacer
la conversin de tipo.
4.3.2. Aprueban todos?

Nos piden un algoritmo que nos indique si una serie de notas que debemos leer
de la entrada est formada exclusivamente por aprobados. Nos aseguramos de
que las notas de la serie sern caracteres del conjunto {A, B, C, c, D}
y que detrs del ltimo elemento de la serie habr una zeta. Las calificaciones
aprobadas son A, B y C (en la UOC conocemos esta ltima nota como C+).
En cambio, la c (que representa la C) y la D son suspensos.
{ Pre: en la entrada leeremos una secuencia de caracteres del conjunto {A, B, C, c,
D} seguida por una Z }
todosAprueban
{Post: por el dispositivo de salida se escribe S si en la entrada slo haba A, B y C,
y N en caso contrario }
Este problema puede replantearse como la bsqueda de un suspenso en una

entrada marcada con el valor Z.
algoritmo todosAprueban
var
car: caracter;
fvar
Es una bsqueda...
... sin tratamiento, de forma
que no hay ni InicioTratamiento ni TratarElemento ni
TratamientoFinal. El refinamiento de ActualizarEncontrado es, sencillamente,
encontrado := (car = c) o
(car = D);
FUOC PID_00149891
38
mientras no (car = Z) y no encontrado hacer

{ Ninguna de las notas ledas anteriores a la ltima es un suspenso.
La ltima est en car }
encontrado := (car = c) o (car = D);
fsi
fmientras
La ltima est en car. Si encontrado es cierto, car es un suspenso; si es falso, car es Z }
escribirCaracter(N)
sino
escribirCaracter(S)
fsi
falgoritmo
4.3.3. Nmero de aprobados
Nos piden un algoritmo que nos indique si el nmero de aprobados de una

serie de notas ordenada de forma descendente que debemos leer de la entrada
supera una determinada cota, que tambin debemos leer. Nos aseguran que las
notas de la serie sern caracteres del conjunto {A, B, C, c, D} y que
detrs del ltimo elemento de la serie habr una Z.
{ Pre: en la entrada leeremos un entero y una tira de caracteres del conjunto {A, B, C,
c, D seguida por una Z }
cotaAprobados
{ Post: por el dispositivo de salida se escribe N si el nmero de aprobados no es inferior a la
cota y S en caso contrario }
Este problema puede replantearse como la bsqueda de una nota que nos permite obtener la siguiente respuesta: un suspenso antes de cota notas o un apobado
despus de cota notas. Necesitamos, pus, hacer un tratamiento de recuento de
los elementos que se van leyendo.
algoritmo cotaAprobados
var
car: caracter;
cota, n: entero;
fvar
cota := leerEntero();
n := 0;
mientras no (car = Z) y no encontrado hacer
La ltima est en car, n s el nmero de notas ledas menos 1 }
encontrado := (car = c) o (car = D) o (n cota);
n := n + 1;
fsi
fmientras
{ Niguna de las notas ledas anteriores a la ltima es un suspenso.
La ltima est en car. Si encontrado es cierto, car es un suspenso; si es falso, car es Z.
n es el nmero de notas ledas menos 1 }
Es una bsqueda...
... con estos refinamientos:
InicioTratamiento es la inicializacin de n.
TratarElemento es el incremento de n.
No hay TratamientoFinal.
El refinamiento de ActualizarEncontrado es:
encontrado := (car = c) o
(car = D) o (n cota);
FUOC PID_00149891
si n cota entonces
escribirCaracter(N)
sino
escribirCaracter(S)
fsi
falgoritmo
39
FUOC PID_00149891
40
5. Combinacin de esquemas
5.1. Planteamiento
Hemos estudiado en este mdulo dos esquemas de diseo de algoritmos recorrido y bsqueda muy tiles. Sin embargo, todava podemos aumentar su utilidad
si tenemos en cuenta la posibilidad de combinarlos, de forma que un algoritmo
de proceso de una secuencia no sea refinamiento de un esquema sino de distintos
esquemas dispuestos uno tras otro. De hecho, si lo observamos con mayor detenimiento, veremos que este tipo de combinacin deber ser de una de estas
dos formas:
a) bsqueda1; bsqueda2,..., bsquedan
b) bsqueda1; bsqueda2,..., bsquedan; recorrido
La razn es que, despus de un recorrido, ya hemos ledo toda la secuencia, de
modo que ya no tiene sentido plantear el hecho de continuar haciendo en ella
ningn proceso. En cambio, despus de una bsqueda, es posible que la secuencia haya sido parcialmente procesada, por lo que puede ser til continuar
el proceso del resto de la secuencia con otra bsqueda o un recorrido. Los
apartados siguientes presentan ejemplos de aplicacin de la combinacin de
esquemas.
5.2. Ejemplos
5.2.1. Media de los suspensos
Queremos disear un algoritmo que lea una serie de notas entre 0.0 y 10.0 ordenada de forma descendente y marcada con un 1.0; el algoritmo nos debe
dar la nota media de los suspensos (o 0.0, si no hay suspensos). Un suspenso
es cualquier nota inferior a 5.0.
{ Pre: en la entrada leeremos una secuencia de reales entre 0.0 y 10.0 ordenada descendientemente seguida por un 1.0 }
mediaSuspensos
{ Post: escribe la media de los nmeros x tales que 0 x < 5.0 o bien 0.0 si no haba ningn
nmero que cumpliese esta condicin }
Una forma de resolver el problema consiste en efectuar un recorrido donde el

tratamiento sea el siguiente: si la nota actual es un suspenso, sumamos su valor a un acumulador e incrementamos un contador. Al final, dividimos el acumulador por el contador (si es diferente de 0).
Hay otra forma de resolver el problema que consiste en leer primero todos los
aprobados (recordemos que las notas nos las dan ordenadas de forma descen-
41
FUOC PID_00149891
dente); a continuacin, todas las notas que quedan son suspensos, de modo
que las podemos procesar haciendo un recorrido que las acumule y las cuente
todas (ya no es necesario comprobar si es suspenso o no). Despus, como antes, efectuamos la divisin:
algoritmo mediaSuspensos
var
x, sum, result: real;
n: entero;
fvar
Esta primera parte...
x := leerReal() ;
mientras no (x = 1.0) y no encontrado hacer
{ Ninguna de las notas ledas anteriores a la ltima es un suspenso
La ltima est en x }
encontrado := x < 5.0;
x := leerReal()
fsi
fmientras
La ltima est en x. Si encontrado es cierto, x es un suspenso; si es falso, x es 1.0 }
n := 0; sum := 0.0;
mientras no (x = 1.0) hacer
{ sum = suma de todos los valores ledos a partir del primer suspenso a excepcin del
ltimo, que se encuentra en x y no es la marca n = nmero de elementos sumados }
sum := sum + x; n := n + 1;
x := leerReal()
fmientras;
{ sum = suma de todos los valores ledos a partir del primer suspenso a excepcin del ltimo, que es la marca n = nmero de elementos sumados }
si n > 0 entonces
result := sum/enteroAReal(n)
sino
result := 0.0
fsi
escribirReal(result)
falgoritmo
A continuacin visualizamos con una tabla la ejecucin del algoritmo cuando

en la entrada encontramos los valores 8,5, 7,0, 3,5, 3,0 y 1,0. Seguimos el mismo convenio que en las tablas similares que hemos utilizado antes (ejemplos
cuentaLetraA y hayLetraA). Hay una lnea gruesa que separa las filas segn correspondan a la bsqueda (primera parte del algoritmo, filas superiores de la tabla)
o al recorrido (segunda parte, filas inferiores). La tercera fila representa el estado
justo despus del primer bucle, y la cuarta fila corresponde al estado justo antes
del segundo bucle. En la columna de variables slo aparecen las que son relevantes en cada parte (x en las dos, encontrado slo en la primera y sum y n slo
en la segunda).
Algoritmo
x := leerReal(); encontrado :=
falso;
Secuencia
Variables
x = 8,5
encontrado = falso
... (la bsqueda) corresponde al

algoritmo todosAprueban que
hemos visto en la seccin 4.3.2.
Esta segunda parte...

... (el recorrido) corresponde al
algoritmo media que hemos
visto en la seccin 4.3.1.
Sin embargo, no aparece la lectura previa al bucle porque en
la variable x se encuentra el ltimo valor ledo en la bsqueda
que hay que procesar en este
recorrido (si no es la marca).
42
FUOC PID_00149891
Algoritmo
Secuencia
mientras no x := 1.0 y no
encontrado hacer
Variables
x = 7,0
encontrado = falso
encontrado := x < 5.0;

x := leerReal()
fsi
fmientras
n := 0;
sum := 0.0;
x = 3,5
encontrado = cierto
x = 3,5
n=0
sum = 0,0
x = 3,0
n=1
mientras no x = 1.0 hacer
sum = 3,5
sum := sum + x;
n := n + 1;
x := leerReal();
fmientras
x = 1,0
n=2
sum = 6,5
5.2.2. Longitud de la primera palabra

Ahora nos plantearemos un problema que hace referencia a un texto: sabemos
que en la entrada leeremos una frase marcada con un punto y formada por letras maysculas y otros caracteres que consideraremos separadores de palabras. Delante y detrs de cada palabra puede haber uno o ms separadores.
Queremos disear un algoritmo que nos indique la longitud de la primera palabra (si no hay ninguna palabra, la respuesta debe ser 0).
{ Pre: en la entrada leeremos una secuencia de caracteres que no contiene ningn punto
seguida de un punto }
longPrimeraPal
{ Post: escribe la longitud long de la primera palabra (secuencia de letras maysculas seguidas) o 0 si no haba ninguna letra }
Podemos obtener la solucin combinando dos bsquedas: la primera lee caracteres separadores hasta encontrar la primera letra de la primera palabra; la segunda bsqueda lee caracteres hasta encontrar el primer separador posterior a la
primera palabra y va contando las letras ledas. El valor de este contador es la respuesta pedida (incluso en el caso de que no haya ninguna palabra, porque, en
esta situacin, la primera bsqueda fracasa y queda al final de la secuencia; a continuacin, la segunda bsqueda acaba inmediatamente sin entrar en el bucle, dejando el contador a 0).
FUOC PID_00149891
43
algoritmo longPrimeraPal
var
car: caracter;
n: entero;
fvar
{ Ninguno de los caracteres ledos anteriores al ltimo es una letra. El ltimo est
en car }
encontrado := (car Z) y (car A);
fsi
fmientras
{ Ninguno de los caracteres ledos anteriores al ltimo es una letra.
El ltimo est en car.
Si encontrado es cierto, car es una letra; si es falso, car es el punto final }
n := 0;
{ Ninguno de los caracteres ledos anteriores al ltimo despus de la primera letra es
un separador. El ltimo est en x, n es el nmero de letras ledas }
encontrado := (car) > Z o (car < A);
n := n + 1;
fsi
fmientras
{ Ninguno de los caracteres ledos anteriores al ltimo despus de la primera letra es un
separador. El ltimo est en car. Si encontrado es cierto, car es un separador; si es falso,
car es el punto final, n es el nmero de letras ledas }
escribirEntero(n)
falgoritmo
Esta primera parte...

... es una bsqueda simple sin
tratamiento.
Esta segunda parte...

... es una bsqueda con
tratamiento de recuento.
FUOC PID_00149891
44
Resumen
En este mdulo hemos aprendido a disear algoritmos mediante la aplicacin

de esquemas de tratamiento secuencial.
Por ello, en primer lugar hemos introducido la nocin de secuencia. Hemos visto
cmo se pueden modelizar muchos algoritmos como algoritmos de tratamiento
secuencial (en algunos casos, la secuencia ser generada por el mismo algoritmo,
mientras que en otros casos nos vendr dada, normalmente, en el dispositivo de
entrada).
Hemos estudiado los dos esquemas bsicos de tratamiento secuencial: el de recorrido y el de bsqueda. Hemos aprendido a refinar estos esquemas para obtener algoritmos que solucionen problemas concretos.
El esquema de recorrido nos permite tratar todos los elementos de una secuencia.
En cambio, el esquema de bsqueda nos permite tratar nicamente una parte de la secuencia en cuestin, dejando el cabezal apuntando a un elemento
que cumple una propiedad determinada.
Hemos presentado el caso particular de las secuencias de entrada y salida, en
las que los datos se obtienen de forma secuencial del dispositivo de entrada (o
enviados al de salida).
Hemos visto cmo se adaptan los dos esquemas de tratamiento secuencial para
el caso en que la secuencia sometida a tratamiento proviene del dispositivo de
entrada. Estas secuencias tienen una importancia especial, ya que hacen mucho
ms tiles los dispositivos de entrada y de salida utilizados en esta asignatura.
En muchos problemas deberemos obtener o enviar los datos a estos dispositivos.
Hemos aprendido a combinar ms de un esquema para resolver problemas en los
que la solucin consiste en hacer ms de un tratamiento de forma encadenada.
As pues, este mdulo es un mdulo de contenido metodolgico, en el que hemos aprendido a disear algoritmos no triviales de una forma lo ms sistemtica posible. Ya que el objetivo consiste en obtener algoritmos correctos, es
muy importante (prcticamente imprescindible y obligatorio en esta asignatura) la aplicacin de la metodologa y los esquemas de tratamiento secuencial
aqu expuestos y tratados.
Para disear algoritmos ser necesario que sigis las pautas que os hemos recomendado y que ya aparecan en la seccin homnima del mdulo Introduccin
FUOC PID_00149891
45
a la programacin: entender el enunciado, plantear la solucin, formularla y,

finalmente, evaluarla. Concretaremos un poco ms en qu consiste cada uno de
estos pasos ahora que ya habis estudiado este mdulo.
1. Entender el enunciado
En primer lugar, debemos saber de una forma clara y precisa lo que queremos conseguir. Por ello, lo que debemos hacer es especificar nuestro problema. Respecto
a este paso no ha cambiado nada. Una vez tenemos descrito claramente qu debe
hacer nuestro algoritmo (el qu se corresponde a la especificacin), ya podemos
pasar al cmo, es decir, podemos pasar a plantear el algoritmo.
2. Plantear el problema
En este punto debemos evaluar si nuestro problema puede resolverse mediante tratamiento secuencial. Si es as (casi siempre ocurre as con los problemas
mmimamente complejos), debemos seguir los siguientes pasos:
a) Averiguar cul es la secuencia que hay que tratar para resolver el problema. En
muchos casos, la secuencia es bastante evidente, como aquellos problemas en los
que la secuencia se obtiene de la entrada estndar. Trivial o no, decidir la secuencia que hay que tratar es un paso crucial en el planteamiento del problema.
b) Decidir si con un nico tratamiento tendremos suficiente para resolver el
problema o si nos har falta aplicar varios esquemas (una o ms bsquedas seguidas de un posible recorrido). Si necesitamos ms de un tratamiento, repetiremos todos los pasos para cada uno.
c) Elegir el esquema adecuado que debemos aplicar (el de bsqueda o el de

recorrido).
3. Formular la solucin
Una vez ya tenemos el planteamiento, se trata de formular la solucin utilizando

el lenguaje algortmico que conocemos. Para hacerlo, deberemos seguir los siguientes pasos, ntimamente relacionados entre s (tal y como ya se ha comentado en el tema del esquema de recorrido):
a) Decidir el conjunto de variables que necesitaremos para resolver el problema.
b) Refinar el esquema que hayamos elegido en el punto c del planteamiento. Es

decir, sustituir cada una de las partes generales del esquema elegido por conjuntos
de acciones y expresiones del lenguaje algortmico, de modo que obtengamos un
algoritmo que solucione nuestro problema (o uno de los tratamientos en el caso
de que la solucin consista en combinar varios tratamientos).
Cualquier problema que...

... se pueda resolver mediante
el uso de una estructura iterativa puede ser modelado en realidad como un algoritmo de
tratamiento secuencial. De todos modos, si el problema presenta una cierta complejidad,
nos pueden hacer falta otras
tcnicas como las explicadas
en el ltimo mdulo. Por otro
lado, existen tambin otros tipos de problemas para los que
resulta ms adecuado aplicar
otros esquemas que no veremos en esta asignatura.
FUOC PID_00149891
46
4. Evaluar la solucin
Los esquemas son algoritmos genricos bien construidos y correctos. Su uso,
por lo tanto, nos libera de una gran cantidad de errores que podramos cometer si tuvisemos que construir el algoritmo partiendo de cero cada vez (aparte
de la mayor dificultad de hacer esto). Sin embargo, no nos liberaremos de cualquier error. Podemos cometer errores:
En el planteamiento: cuando decidimos si el problema es solucionable mediante uno o ms tratamientos, en el momento de elegir el esquema, o incluso cuando seleccionamos la secuencia que hay que tratar.
En la formulacin de la solucin: cuando refinamos el esquema.
Los errores en el planteamiento son ms difciles de solucionar. Tambin son
costosos, pues muy probablemente implican que la formulacin de la solucin
para el planteamiento equivocado se deba repetir. Por este motivo, no nos debe
importar pasar un buen rato para plantear correctamente el problema.
Los errores de la formulacin se deben a que hemos refinado alguna de las partes
del esquema de forma incorrecta. Para detectar estos errores, debemos ser capaces de clasificar mentalmente las posibles secuencias que nuestro algoritmo
debe poder tratar en diferentes tipos. Normalmente nos encontraremos con un
caso general en el que tendremos una secuencia con unos cuantos elementos,
pero tambin con casos especiales, como por ejemplo la secuencia vaca (siempre
que la precondicin admita estos casos especiales, evidentemente).
Debemos prestar atencin a estos casos especiales y observar si la solucin que
hemos obtenido los trata correctamente. Tal vez hayamos hecho el refinamiento pensando nicamente en el caso general; entonces, en alguno de estos
casos especiales, es probable que el algoritmo no se comporte correctamente.
Una parte especialmente delicada es el finSecuencia. Por ejemplo, prestad atencin al comentario correspondiente a esta parte en el ejemplo de los nmeros
de Fibonacci del tema del esquema de bsqueda. Sin embargo, podis haber
introducido problemas sin daros cuenta en cualquiera de las partes del esquema que deben refinarse.
Para hacer todo esto tendris que razonar sobre el comportamiento del algoritmo resultante, utilizando el significado de las construcciones del lenguaje algortmico que aparecen en el mismo (y que ya conocis).
Por otro lado, se debe resaltar que el uso de los esquemas de tratamiento secuencial y de la metodologa introducida en este mdulo minimiza el esfuerzo
del desarrollador para obtener una solucin correcta a problemas que se puedan
modelar mediante el tratamiento secuencial (que, como ya hemos indicado,
son casi todos).
FUOC PID_00149891
47
Por este motivo, el uso de estos esquemas y la experiencia planteando problemas como problemas de tratamiento secuencial son puntos clave para mejorar
de una forma importante la eficacia y la eficiencia de cualquier programador
en el momento de desempear su tarea.
FUOC PID_00149891
49
Ejercicios de autoevaluacin
1. Disead una accin que descomponga un nmero natural en cifras. Es necesario escribir
el nmero dado dgito a dgito, siendo cada dgito un entero entre 0 y 9. Suponed que tenis
disponibles las funciones:
funcion cuantasCifras(n: entero): entero
{ Pre: n 0 }
{ Post: restituye el nmero de cifras significativas de n }
funcion potencia(n: entero): entero
{ Pre n 0 }
{ Post: retorna el valor 10 elevado a n }
Por ejemplo, 1234 se escribira 1, 2, 3, 4.
2. Disead un algoritmo que nos muestre el valor mximo de una tira de reales marcada con 0.0
disponible para ser leda.
3. Disead una accin que indique si una secuencia de reales marcada con 0.0 leda de la entrada est ordenada de forma creciente.
4. Decimos que un nmero es perfecto si la suma de sus divisores excepto l mismo es igual
al propio nmero.
Por ejemplo, 6 es perfecto porque los divisores de 6 son 1, 2, 3 y 6: 1 + 2 + 3 = 6.
Disead un algoritmo que indique si un nmero es perfecto.
5. Encontrad una accin que encuentre la parte entera de la raz cuadrada de un entero positivo
sin que tengamos ninguna funcin que calcule races cuadradas (sqr, raz cuadrada...).
FUOC PID_00149891
50
Solucionario
1. Este problema no consiste en procesar una secuencia sino en generarla. Sin embargo, podemos construir la accin basndonos en el esquema de recorrido, siendo la secuencia recorrida la que vamos generando. Empecemos especificando el problema para asegurarnos de su
correcta comprensin.
accion cifras(ent n: entero)
{ Pre: n 0 }
{ Post: escribe por el canal de salida el entero n dgito a dgito }
Ahora intentamos plantear la solucin sobre la base de algn esquema. Lo que nos conviene
es hacer un recorrido de la secuencia, que en el caso que nos ocupa es la secuencia de dgitos
del nmero. Para obtener la solucin tenemos que refinar el esquema que hemos elegido; si
conocemos inicialmente la longitud de la secuencia, es decir, el nmero de cifras, podremos
obtener los elementos dividiendo n por potencias de 10, empezando precisamente por 10 elevado al nmero de cifras menos 1. En cada iteracin generamos una nueva cifra dividiendo
el nmero por una potencia de 10 inferior a la anterior. Por ejemplo, si tenemos la cifra 9728,
cuatroCifras (9728) = 4, potencia (41) = 1000, y por tanto, la primera cifra es (9728 div 1000)
mod 10) = 9 mod 10 = 9
accion cifras(n: entero)
{Pre: n 0 }
var
nx, pot10: entero
fvar
nx := cuantasCifras (n);
pot10 := Potencia(nx 1);
mientras nx > 0 hacer
{ Quedan nx cifras por escribir }
escribirEntero((n div pot10) mod 10);
nx := nx 1;
pot10 := pot10 div 10
fmientras
{ Post: escribe por el canal de salida el entero n dgito a dgito }
faccion
2. Primero especificamos el algoritmo (con una precondicin que requiere por lo menos un
elemento, porque no se puede definir el mximo de un conjunto vaco; para evitar una repeticin, nos limitamos a anotar la precondicin y la postcondicin en el propio algoritmo).
Ahora podemos solucionar el problema examinando toda la secuencia con un recorrido que,
en cada momento, recuerda el valor ms alto de los que se han ledo. Refinando el esquema
de la forma adecuada obtenemos este algoritmo:
algoritmo valMax
{ En la entrada hay una secuencia no vaca de reales que no contiene ningn 0.0 seguida
de 0.0 }
var
x, max: real;
fvar
x := leerReal();
inicioTratamiento
mientras x 0.0 hacer
{ max es el mayor de los que se han ledo antes de x }
si x > max entonces max := x
fsi
x := leerReal()
fmientras
{max es el mayor real de los que se han ledo antes de x y x es la marca}
escribirReal(max)
falgoritmo
Hemos refinado el esquema de recorrido de la entrada excepto la parte inicioTratamiento, porque requiere pensarla un poco ms que las otras. Debemos llevar a cabo las inicializaciones que
sea necesario para que { max es el mayor real de los que se han ledo antes de x }. Sin embargo,
dado que antes de x no se ha ledo nada, no est definido cul debe ser el valor de max. Lo
que debemos hacer es tratar el primer elemento (la precondicin nos garantiza que existe)
antes del bucle y el resto de los elementos en el bucle. Entonces tenemos:
algoritmo valMax
{ En la entrada hay una tira no vaca de reales que no contiene ningn 0.0 seguida de 0.0 }
var
FUOC PID_00149891
51
x, max: real;
fvar
x := leerReal(); max := x; x := leerReal();
mientras x 0.0 hacer
{ max es el mayor real de los que se han ledo antes de x }
si x > max entonces
max := x
fsi
x := leerReal()
fmientras
{ max es el mayor real de los que se han ledo antes de x y x es la marca }
escribirReal(max)
falgoritmo
3. La especificacin es sencilla, y la podis ver reflejada con predicados en la propia accin.
Por lo que respecta a la estrategia de solucin, la podemos enfocar como una bsqueda: buscamos si existe un elemento que es menor que el anterior. Si esta bsqueda tiene xito, la
secuencia no es creciente. Si la bsqueda fracasa, la secuencia es creciente.
Notad que la bsqueda se debe realizar a partir del segundo elemento, porque el primer elemento no tiene anterior. Notad tambin que si la secuencia es vaca, no habr primer elemento (consideraremos que una secuencia de 0 1 elementos es creciente).
accion esCrec ()
{ En la entrada hay una secuencia no vaca de reales que no contiene ningn 0.0 seguida
de 0.0 }
var
x, ant: real;
fvar
x := leerReal(); encontrado := falso;
si x 0.0 entonces
ant := x; x := leerReal();
mientras no encontrado y x 0.0 hacer
{ Los elementos ledos excepto el ltimo, que se encuentra en x y no es la marca,
forman una serie creciente, y en ant est el elemento anterior a x }
encontrado := x < ant;
ant := x;
x := leerReal()
fsi
fmientras
fsi
{ encontrado indica si la secuencia no es creciente }
si encontrado entonces escribirCaracter(N)
sino escribirCaracter(S)
fsi
faccion
4. Resolveremos el problema calculando primero la suma de los divisores y, a continuacin,
la compararemos con el nmero. Para calcular la suma de los divisores de N, podemos hacer
un recorrido de una secuencia imaginaria de todos los nmeros mayores que 0 y menores
que N; el tratamiento consiste en acumular el nmero actual si es divisor de N.
Utilizaremos una variable que ir tomando los valores de la secuencia. De este modo, prepararSecuencia es asignar 1 a i; el final de la secuencia lo detectamos cuando i = N y avanzarSecuencia
se refina como un incremento de i.
algoritmo esPerfecto
{ En la entrada hay un nmero entero mayor que 0 }
var
x, i, sum: entero;
fvar
x := leerEntero();
i := 1; sum := 0;
mientras i < x hacer
{ sum es la suma de los divisores de x menores que i }
si x mod i = 0 entonces
sum := sum + i
fsi
i := i + 1
FUOC PID_00149891
52
fmientras
{ sum es la suma de los divisores de x menores que x }
si sum = x entonces escribirCaracter(S)
sino escribirCaracter(N)
fsi
falgoritmo
5. La parte entera de la raz cuadrada de un entero positivo n la podemos encontrar mediante
una bsqueda en la secuencia de todos los naturales. Buscamos el primer elemento x que
cumple la propiedad x al cuadrado > n; el valor que nos piden es x 1. Por ejemplo:
La raz cuadrada de 0 es 0, que es igual a 1 1, siendo 1 el primer valor que, elevado al cuadrado, da un resultado mayor que 0.
La parte entera de la raz cuadrada de 5 es 2, que es igual a 3 1, siendo 3 el primer valor que,
elevado al cuadrado, da un resultado mayor que 5.
Refinamos prepararSecuencia con i := 0 y avanzarSecuencia con i := i + 1. tratamientoFinal no lo
refinamos porque estamos haciendo una bsqueda en una secuencia infinita. Sin embargo,
tenemos la garanta de que la bsqueda acabar porque siempre encontraremos un elemento
que cumpla la propiedad buscada.
accion raizCuadr(ent x: entero)
{x0}
var
i: entero; encontrado: booleano;
fvar
encontrado := falso; i := 0;
mientras no encontrado hacer
{ Ninguno de los nmeros menores que i elevado al cuadrado da un resultado mayor
que x }
encontrado := i * i > x;
i := i + 1
fsi
fmientras
{ Ninguno de los nmeros menores que i elevado al cuadrado da un resultado mayor que
x, pero i al cuadrado es mayor que x }
escribirEntero(i 1)
faccion
Glosario
bsqueda
Proceso que tiene como objetivo localizar un elemento que cumple una propiedad determinada.
cabezal
Nocin abstracta que permite determinar en cada momento el elemento actual de la secuencia
(aquel al que tenemos acceso en un momento dado). El nombre de cabezal se debe a la analoga
con el cabezal de los aparatos reproductores de casete, vdeo u otros.
esquema algortmico
Algoritmo genrico que sirve para solucionar un conjunto de problemas de un tipo determinado. No est expresado totalmente en lenguaje algortmico, sino que es un tipo de plantilla
que contiene unas partes que deben ser sustituidas por acciones y expresiones en lenguaje
algortmico. Estas acciones y expresiones dependern del problema concreto que estemos solucionando en aquel momento.
marca
Elemento especial que nos determina el final de la secuencia. Este elemento, normalmente,
no se debe tratar. Las marcas son especialmente tiles en las secuencias que leemos del dispositivo de entrada, donde representan una forma bastante cmoda de determinar el final
de la secuencia.
recorrido
Proceso que tiene como objetivo hacer un tratamiento a todos los elementos de una secuencia.
refinar (un esquema)
Sustituir las partes del esquema algortmico correspondiente por conjuntos de acciones o expresiones (segn lo que convenga). De esta forma convertimos un esquema algortimico en
un algoritmo que soluciona un problema concreto.
FUOC PID_00149891
53
secuencia
Conjunto de elementos del mismo tipo que estn en un orden determinado (hay un primero,
un segundo, un tercero, etc.) Slo podemos acceder a sus elementos uno a uno, empezando
por el primero y siguiendo en el orden en que estn dispuestos los elementos en la secuencia.
secuencia vaca
Secuencia que no tiene ningn elemento.
tratamiento secuencial
Proceso que consiste en recorrer una secuencia (o bien una de sus partes) con el objetivo de
realizar algn clculo sobre sus elementos.
Bibliografa
Burgus, X.; Franch, X. (1998). Tratamiento secuencial. En: P. Botella; M. Bofill; X. Burgus;
R. Lagonigro; J. Vancells (1998). Fundamentos de Programacin I (mdulo 3). Barcelona: Ediuoc.
Son los apuntes anteriores de esta asignatura. Utilizan una especificacin formal y un modelo
fsico de secuencias que aqu no tenemos.
Castro, J.; Cucker, F.; Messeguer, X.; Rubio, A.; Solano, L.; Valles, B. (1992). Curs de
programaci. Madrid, etc.: McGraw-Hill.
Scholl, P. C.; Peurin, J.P. (1991). Esquemas algortmicos fundamentales. Secuencias e iteracin.
Manuales de informtica Masson. Masson.
Vancells, J.; Lpez E. (1992). Programaci: introducci a lalgorsmica. Vic: Eumo Editorial
(Tecno-Cincia).

Tratamiento Secuencial M3

Cargado por

Copyright:

Formatos disponibles

Tratamiento Secuencial M3

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tratamiento Secuencial M3

Cargado por

Copyright:

Formatos disponibles

Tratamiento

2. Esquema de recorrido de una secuencia ....................................

2.1. Planteamiento del esquema ..........................................................

2.2. Refinamiento .................................................................................

2.3. Especificacin ................................................................................

2.5. Ejemplos ........................................................................................

2.5.1. Divisores de un nmero.....................................................

2.5.2. Suma de las cifras de un nmero .......................................

3. Esquema de bsqueda en una secuencia ....................................

3.1. Planteamiento del esquema ..........................................................

3.2. Refinamiento .................................................................................

3.3. Especificacin ................................................................................

3.5. Ejemplos ........................................................................................

3.5.1. Nmeros de Fibonacci........................................................

3.5.2. Nmeros primos.................................................................

4. Esquemas aplicados a secuencias de entrada/salida ..............

4.1. Esquema de recorrido aplicado a la entrada..................................

4.1.1. Planteamiento ....................................................................

4.1.3. Ejemplo ..............................................................................

4.2. Esquema de bsqueda aplicado a la entrada .................................

4.2.1. Planteamiento ....................................................................

4.2.3. Ejemplo ..............................................................................

4.3. Tres ejemplos .................................................................................

4.3.1. Media aritmtica ................................................................

4.3.2. Aprueban todos?...............................................................

4.3.3. Nmero de aprobados ........................................................

5.2. Ejemplos ........................................................................................

5.2.1. Media de los suspensos ......................................................

5.2.2. Longitud de la primera palabra..........................................

La parte ms importante que trabajaremos en este mdulo ser, sobre todo, el

Esta metodologa se basa en la aplicacin de unos algoritmos genricos que

Ved el mdulo Introduccin

Todos tenemos en mente el concepto de secuencia: un conjunto de elementos

Sin embargo, por qu es importante para nosotros el concepto de secuencia?

Finalmente, cuando la secuencia de automviles se termina, el brazo robot

Recordad que ya hemos visto

tante importante, slo tenemos acceso a un elemento de la secuencia a la vez.

2. Esquema de recorrido de una secuencia

En el apartado anterior hemos visto que podemos modelizar un algoritmo

2.1. Planteamiento del esquema

mientras no finSecuencia hacer

En el esquema hemos aadido de forma orientativa, con comentarios (entre

prepararSecuencia: en el caso en que la secuencia tenga al menos un elemento,

inicioTratamiento: equivale al conjunto de acciones de inicializacin con las

Tened en cuenta que...

al elemento actual de la secuencia (al que apunta el cabezal) nos quedara:

Ahora planteamos nuestro algoritmo. En primer lugar, averiguamos cul es la

En el apartado 4 de este mdulo

Como podis ver,...

En este caso, encontrar el siguiente elemento de la secuencia es trivial (de hecho,

... en la seccin 2.2, el refinamiento del esquema tambin

tratarElemento: debemos comprobar si el elemento i es divisor de n; y en este

avanzarSecuencia: consiste nicamente en incrementar i.

2.5.2. Suma de las cifras de un nmero

A continuacin debemos encontrar cul es la secuencia que trataremos. En

Tened en cuenta que...

inicioTratamiento: consiste en inicializar la variable suma en 0 (el elemento

Con todo esto, el algoritmo queda como sigue:

En esta figura podemos observar grficamente cmo se comporta el algoritmo