The decider S can now evaluate R(N) to check whether the language accepted by N is empty.
仲裁機器S現在可評估R(N)，以驗證被N接受的語言是否為空集合。