زبان برنامه نويسي يك زبان مصنوعي است كه مي توان براي كنترل و رفتار يك ماشين خصوصا يك كامپيوتر مورد استفاده قرار گيرد. زبان هاي برنامه نويسي مانند زبان هاي انساني از طريق استفاد از قوانين معنايي و صرف و نحو براي تعيين به ترتيب ساختار و معنا تعريف مي شوند.از زبان هاي برنامه نويسي براي تسهيل ارتباط در مورد وظيفة سازماندهي و دستكاري اطلاعات بيان دقيق الگوريتم ها استفاده مي شود. برخي نويسندگان، عبارت زبان برنامه نويسي را به زبان هاي برنامه نويسي براي تسهيل ارتباط در مورد وظيفة سازماندهي دستكاري اطلاعات و بيان دقيق الگوريتم ها استفاده مي شود. برخي نويسندگان عبارت زبان برنامه نويسي را به زبان هايي محدود مي كنند كه مي توانند تمام الگوريتم هاي ممكن را بيان كنند. بعضي وقتها عبارت زبان كامپيوتر براي زبانهاي مصنوعي محدودتر مورد استفاده قرار مي گيرد.هزاران زبان برنامه نويسي متفاوت ايجاد شده است و زبان هاي جديدي هر سال ايجاد مي شوند.تعريفويژگي هاي اغلب براي يك زبان برنامه نويسي مهم محسوب مي شوند.كاركرد: يك زبان برنامه نويسي، يك زبان استفاده شده براي نوشتن برنامه هاي كامپيوتري است كه به يك كامپيوتر دستور ميدهد تا نوعي محاسبه را انجام داده و احتمالا ابزارهاي خارجي همچون پرينترها، روبوت ها، و غيره را كنترل كنند.هدف: زبان هاي برنامه نويسي از اين نظر با زبان هاي طبيعي متفاوت دارند كه زبان هاي طبيعي فقط براي تعامل ميان افراد مورد استفاده قرار مي گيرند، در حالي كه زبان هاي برنامه نويسي به انسان ها اجازه مي دهند تا دستورات را به ماشين بدهند، برخي از زبان هاي برنامه نويسي توسط يك ابزار براي كنترل مورد استفاده قرار مي گيرد. براي مثال برنامه هاي "پست اسكريپت" به طور مداوم توسط برنامة ديگري ايجاد مي شوند تا يك پرينتر يا نمايشگر كامپيوتر را كنترل كنند. ساختارها: زبان هاي برنامه نويسي ممكن است حاوي ساختارهايي بري تعريف و دستكاري ساختار داده ها يا كنترل جريان اجرا باشند.قدرت بياني: تئوري محاسبات زبان ها را بر حسب محاسباتي كه مي توانند بيان كنند طبقه بندي مي كنند. زبان هاي تورين كامپلت ميتوانند مجموعة مشابهي از الگوريتم ها را اجرا كنند. Iosql / ANSI و چرينتي، مثال هايي از زبان هايي هستند كه تورين كامپلت نيستند با اين وجود اغلب زبان هاي برنامه نويسي ناميده مي شوند.زبان هاي غير محاسبه اي همچون زبان هاي ركاپ شبيه HTML يا گرامرهاي رسمي مانند BNF معمولاً زبان هاي برنامه نويسي محسوب نمي شوند اغلب يك زبان برنامه نويسي در زبان غير محاسبه اي (ميزبان) گنجانده مي شود.هدف يك هدف اصلي زبان هاي برنامه نويسي ارائه دستورات به كامپيوتر مي باشد. از اين رو زبان هاي برنامه نويسي با بخش اعظم اشكال ديگر بيان انساني از اين نظر تفاوت دارند كه نياز به ميزان دقت و كامل بودن بيشتر دارند. در هنگام استفاده از يك زبان طبيعي براي ارتباط با افراد ديگر، نويسندگان و گويندگان انساني مي توانند مهبم عمل كنند اشتباهات كوچكي انجام دهد وانتظار داشته باشند كه مقصد ان ها درك شود، با اين حال كامپيوتر ها دقيقا آنچه را كه به آن ها گفته مي شود، انجام مي دهند و نمي توانند كدي كه برنامه نويس قصد دارد بنويسد را درك كنند تركيب تعريف زبان برنامه و داده هاي برنامه بايد به طور كامل رفتار خارجي را مشخص كند كه در هنگام اجراي برنامه اتفاق مي افتد.بسياري از زبان ها از چيزهاي ريزي طراحي شده است و براي دستيابي به نيازهاي جديد تغيير كرده اند و با ديگر زبان ها تركيب شده اند و سرانجام كنار گذاشته مي شوند اگر چه به طراحي يك زبان كامپيوتر جهاني كه تمام اهداف را تامين كنند توجه شده است اما تمام آن ها در انجام اين كار شكست خورده اند. نياز به زبان هاي كامپيوتر ي مختلف از گوناگوني زمينه هايي سرچشمه مي گيرد كه زبان ها در آن زمين ها مورد استفاده قرار مي گيرند:    دامنة زبان ها از تايني اسكريپت هاي نوشته شده توسط افرادي براي سرگرمي تا سيستم هاي  عظيم نوشته شده توسط صدها برنامه نويس مي باشد.    دامنة برنامه نويسان از نظر تخصص از     كه به سادگي بيش از تمام چيزهاي ديگر نياز دارند تا متخصص هايي كه ممكن است با پيچدگي قابل توجه، راحت تر باشند مي باشد.    برنامه ها بايد سرعت، اندازه، و سادگي در سيستم ها از ميكرو كنترل كننده ها تا سوپر كامپيوتر ها را تنظيم كنند.    برنامه ها ممكن است در يك زماني نوشته شوند و براي نسل هاي مختلف تغيير نكنند يا ممكن است تحت تغييرات تقريباً ثابتي قرارگيرند.    و نهايتا اين كه برنامه نويسان ممكن است فقط در سليه ها متفاوت باشند ممكن است آن ها عادت به شرح مسايل داشته باشند و آن ها را به يك زبان خاص بيان كنند.