Мо́ва праграмава́ння — гэта штучная мова, якая дазваляе кіраваць паводзінамі машыны, звычайна камп'ютара. Мовы праграмавання, як і натуральныя мовы, вызначаюцца сінтаксічнымі і семантычнымі правіламі, якія апісваюць адпаведна іх структуру і значэнне. Многія мовы праграмавання маюць нейкую форму запісаных спецыфікацый свайго сінтаксісу і семантыкі, у той час як некаторыя мовы вызначаныя толькі сваёй афіцыйнай рэалізацыяй.