結果 : computer formal language