إذا بدأ المتعلم بدراسة نظرية الحوسبة computation theory للتعرف على أنماط الحوسبة بدءا من الأوتوماتا النهائية deterministic finite automata واللغات الصورية التي تستطيع هذه الآلة التعرف عليها ثم الإنتقال للpumping lemma ثم آلة تورينغ ومعرفة اللغات التي يتعرف عليها كل نموذج من النماذج السابقة، ومعرفة تلك التي يستطيع البت فيها، للتعرف على مفهوم البرمجة ومفهوم إمكانية التعرف formal language recognition ومفهوم إمكانية الحسم في وقت نهائي the problem of deciding in finite amount of time ، من ثم فهم أن