伪代码(Pseudocode) 的几个问题

Perlvim

在看 ARM 手册的时候，看到硬件电路的程序伪代码描述：

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);

复制代码

到百度上查了伪代码的语法，和这个也不同。不知道这到底是伪代码的什么分支？
为什么要用一种没有明确规范的语言来描述精确的运算？为什么不用C或Java来描述呢？
这种语言怎么来测试呢？