1. Наличие ошибок в синтаксисе. Например присутствие ";" перед else.
2. Вы используете рекурсивную функцию, а описываете ее как процедуру ...
Вариант решения:
var
a: integer;
function F(n:integer):integer;
begin
write(n,' ');
if n<>1 then
if n mod 2=0 then
f(n+1)
else
f(n div 2);
end;
begin
readln(a);
writeln(F(a));
end.
Для F(13) получите:
13 6 7 3 1 0