Algoritmos y Programación en Pascal

17.1. Estructuras recursivas lineales: las listas enlazadas 355
procedure AnnadirPrimero(var lista: tLista; nuevoDato: tElem);
{Efecto: se a~nade nuevoDato al comienzo de lista}
var
listaAux: tLista;
begin
listaAux:= lista;
New(lista);
lista^.contenido:= nuevoDato;
lista^.siguiente:= listaAux
end; {AnnadirPrimero}
Obsérvese que este procedimiento sirve tanto para cuando lista es vacía como
para cuando no lo es.
17.1.3 Eliminación de elementos
A continuación se presenta el procedimiento Eliminar que sirve para eliminar
el primer elemento de una lista no vacía. La idea es bastante simple: sólo hay
que actualizar el puntero para que señale al siguiente elemento de la lista (si
existe).
procedure EliminarPrimero(var lista: tLista);
{PreC.: la lista no está vacía}
{Efecto: el primer nodo ha sido eliminado}
var
listaAux: tLista;
begin
listaAux:= lista;
lista:= lista^.siguiente;
Dispose(listaAux)
end; {EliminarPrimero}
17.1.4 Algunas funciones recursivas
La longitud de una lista
La naturaleza recursiva de la definición dada del tipo lista permite definir
fácilmente funciones que trabajen usando un proceso recursivo. Por ejemplo, la
función Longitud de una lista se puede definir recursivamente (es evidente que
el caso base es Longitud(nil) = 0) siguiendo la línea del siguiente ejemplo:
Longitud ([a,b,c]) ❀ 1 + Longitud ([b,c])
❀ 1 + (1 + Longitud([c]))
❀ 1 + (1 + (1 + Longitud(nil)))
❀ 1 + (1 + (1 + 0)) ❀ 3