結果 : is pseudocode a formal programming language