結果 : decidable problem in computer science