偽代碼(Pseudocode) 的幾個(gè)問題

Perlvim

在看 ARM 手冊(cè)的時(shí)候，看到硬件電路的程序偽代碼描述：

1. // LSL()
   
2. // =====
   
3. bits(N) LSL(bits(N) x, integer shift)
   
4.     assert shift >= 0;
   
5.     if shift == 0 then
   
6.         result = x;
   
7.     else
   
8.         (result, -) = LSL_C(x, shift);
   
9.     return result;
   
10. // LSR_C()
    
11. // =======
    
12. (bits(N), bit) LSR_C(bits(N) x, integer shift)
    
13.     assert shift > 0;
    
14.     extended_x = ZeroExtend(x, shift+N);
    
15.     result = extended_x<shift+N-1:shift>;
    
16.     carry_out = extended_x<shift-1>;
    
17.     return (result, carry_out);

復(fù)制代碼

到百度上查了偽代碼的語(yǔ)法，和這個(gè)也不同。不知道這到底是偽代碼的什么分支？
為什么要用一種沒有明確規(guī)范的語(yǔ)言來描述精確的運(yùn)算？為什么不用C或Java來描述呢？
這種語(yǔ)言怎么來測(cè)試呢？