Перебор элемиентов в стеке

type
  ch = char;
  PElem = ^TElem; //указатель на запись
  TElem = record
    info: ch; //информационная часть
    next: Pelem; //указатель на следующий элемент
  end;
 
var
  Stk: PElem;
  z: integer;
 
 
procedure create(var top: PElem);
var
  s: ch;
  p: PElem;
  f: Text;
begin
  Assign(f, 'text.txt');
  Reset(f);
  while not Eof(f) do
  begin
    new(p);
    p^.next := top;
    read(f, s);
    p^.info := s;
    top := p;
  end;
end;
 
procedure Chtenie(var top: PElem);
var
  p: PElem;
begin
  p := top;
  while p <> nil do
  begin
    writeln(p^.info);
    p := p^.next;
  end;
end;
 
procedure TopToTop(var top, Dop: PElem);
var
  p: PElem;
begin
  new(top);
  p := top;
  top := top^.next;
  p^.Next := Dop;
  Dop := p;
end;
 
procedure Proverka();
var
  top: PElem;
  Dop: PElem;
  n: integer;
begin
  Dop := nil;
  n := 0;
  while top <> nil do
  begin
    if top^.info in ['a'..'z', 'A'..'Z'] then write('Буква: ', top^.info)
    else
      TopToTop(top, Dop);
    while Dop <> nil do
    begin
      if top^.info in ['0'..'9'] then Inc(n) 
      else
        TopToTop(Dop, top);
    end; 
    writeln('Kol=', n);
    Chtenie(top);
  end;
end;
 
begin
  while true do
  begin
    writeln;
    writeln('1 - Создать стек');
    writeln('2 - Вывести исходный стек');
    writeln('3 - Новый стек');
    readln(z);
    case z of 
      1: create(Stk);
      2: Chtenie(Stk);
      3: Proverka();
    end;
  end;
  
end.