The decider S can now evaluate R(N) to check whether the language accepted by N is empty.
اکنون تصمیم گیرندهٔ S می‌تواند (R(N را ارزیابی کند که ببیند آیا زبان پذیرفته شده بوسیلهٔ N تهی است.