結果 : formal language examples computer science