結果 : computer science formal language