procedure hauto;

Reapeat

 <đọc ký tự trong biểu thức>

If <x là toán hạng> then

 push(S,T,X);  

else

X:=pop(S,T);

Y:=pop(S,T);

z:=X(x)Y;

push (S,T,Z);

end;

until // gặp dấu ket thuc bieu thuc

write(pop(s,T));

return;