結果 : decidable problem computer science definition