Yazyk programmirowaniq - äto formal'nyj komp'üternyj qzyk, prednaznachennyj dlq peredachi instrukcij mashine, w chastnosti komp'üteru. Yazyki programmirowaniq mogut ispol'zowat'sq dlq sozdaniq programm, uprawlqüschih powedeniem mashiny, ili dlq wyrazheniq algoritmow. Samaq rannqq izwestnaq programmiruemaq mashina predshestwowala izobreteniü cifrowogo komp'ütera i predstawlqet soboj awtomaticheskij flejtist, opisannyj w IX weke brat'qmi Musa w Bagdade, "wo wremena islamskogo zolotogo weka". S nachala 1800-h godow "programmy" ispol'zowalis' dlq uprawleniq powedeniem takih mashin, kak zhakkardowye tkackie stanki i pianino. V nastoqschee wremq sozdany tysqchi razlichnyh qzykow programmirowaniq, w osnownom w komp'üternoj sfere, i kazhdyj god sozdaetsq esche bol'she. Mnogie qzyki programmirowaniq trebuüt zadaniq wychislenij w imperatiwnoj forme (to est' w wide posledowatel'nosti operacij dlq wypolneniq), w to wremq kak drugie qzyki ispol'zuüt drugie formy specifikacii programm, takie kak deklaratiwnaq forma (to est' ukazywaetsq zhelaemyj rezul'tat, a ne sposob ego dostizheniq). Opisanie qzyka programmirowaniq obychno razdelqüt na dwe sostawlqüschie: sintaxis (forma) i semantiku (smysl).