البرنامج هو مجموعة تعليمات تصف للحاسب ما يجب أن يقوم به لحل مشكلة موجودة. ويتم كتابة البرامج باستخدام لغات للبرمجة programming languages. ولكل لغة قواعد نحوية syntax يجب إتباعها.

يمكن تصنيف لغات البرمجة كالآتي:

- لغات عالية المستوى high-level languages: تكتب باستخدام عبارات شبيهة بالأنكليزية. وبالتالي، فهي تكون الأسهل في الاستخدام. كما تكون البرامج المكتوبة باستخدامها الأكثر قابلية للقراءة. ومن أمثلة اللغات عالية المستوي Basic وCOBOL وPascal وFORTRAN وC و++C وJava.

- لغات قريبة المستوى من لغة الآلة assembly languages: تكون أقل قابلية للقراءة وأكثر صعوبة في الاستعمال، ولكنها عادة ما توفر إمكانيات أكثر.

- لغات الآلة machine languages: تكتب باستخدام الأرقام الثنائية 1 وصفر. وهي أصعب بكثير في الاستعمال، ولكنها عادة ما توفر إمكانيات أكثر بكثير. ويفهم كل حاسب لغة آلة واحدة تقوم بتحديدها وحدة المعالجة المركزية CPU الخاصة به. ولغة الآلة الخاصة بحاسب هي اللغة الوحيدة التي يفهمها. وبالتالي، فلكي يقوم حاسب بتنفيذ برنامج مكتوب باستخدام لغات أخرى، يجب أولا ترجمة البرنامج إلى لغة الآلة الخاصة بهذا الحاسب تحديدا. وتشمل برامج ترجمة اللغات المختلفة للغة الآلة المترجم الغير مرحلي compiler والمترجم المرحلي interpreter والمترجم الغير مرحلي للغات قريبة المستوى من لغة الآلة assembler.