Bahasa pemrograman atau bahasa penataolahan (bahasa Inggris: programming language) adalah sistem notasi untuk menulis program komputer. Sebagian besar bahasa pemrograman adalah bahasa formal berdasarkan teks, tetapi juga dapat berupa grafis.[1]
Deskripsi bahasa pemrograman dibagi menjadi dua komponen; yaitu sintaksis (bentuk) dan semantik (makna), yang biasanya didefinisikan oleh bahasa formal. Beberapa bahasa ditentukan oleh dokumen spesifikasi (misalnya, bahasa pemrograman C ditentukan oleh Standar ISO) sementara bahasa lain (seperti Perl) memiliki implementasi dominan yang diperlakukan sebagai rujukan. Beberapa bahasa memiliki keduanya, dengan bahasa dasar yang ditentukan oleh standar dan ekstensi diambil dari implementasi dominan yang umum.