কোনো একটি সংখ্যা ধনাত্বক না ঋণাত্মক নির্ণয়ের জন্য লিমা একটি অ্যালগরিদম লিখে একটি ফ্লোচার্ট আঁকল। পরে সে ফ্লোচার্ট অনুসরণ করে বাইনারি ডিজিট ব্যবহার করে একটি প্রোগ্রাম লিখল।