プログラミング言語（プログラミングげんご）とは、コンピュータに対する一連の動作の指示を記述するための人工言語の総称である[1]。この一連の指示をプログラムと呼び、それを記述することをプログラミングと呼ぶ。自然言語と同様、統語論（構文）規則と意味論規則で定義される。通常、それらを示した文書で仕様が示されるが、公式の実装だけで定義される言語もある。 プログラミング言語は、情報を組織し処理するタスクについての理解を容易にし、アルゴリズムを正確に表現する。場合によっては、あらゆるアルゴリズムを記述できる言語だけを「プログラミング言語」と定義することもある[2]。そこまでの機能のない人工言語を「コンピュータ言語」と呼ぶこともある。また、プログラミングへの応用も想定して設計されたロジバンのように、人間言語とコンピュータ言語の中間に位置するものがある。 様々なプログラミング言語[3]が、毎年のように生み出されている。
プログラミング言語とは、ソフトウェアの設計図に当たるソースコードを記述するための言語。 プログラミング言語は人間に理解できるように英語などを元に作られているため、そのままではコンピュータが実行することはできない。プログラミング言語で書かれたソースコードをコンピュータに実行させるためには、アセンブルやコンパイルなどの処理を行って、機械語の羅列(オブジェクトコード)に翻訳する必要がある。 この翻訳作業を同時通訳のようにリアルタイムに実行することにより、あたかもソースコードを直接実行しているように処理するインタプリタ型言語も存在する。 最近では、簡易な言語仕様を持ち、処理速度は遅いが小規模なプログラムを簡単に記述することができる簡易プログラミング言語が増えており、これを「スクリプト言語」と呼ぶことがある。
コンピュータを使って情報を処理するには、コンピュータに命令を与えなくてはなりません。その命令を与えるのが、「プログラム」です。 プログラムを作るには、出来るだけ人間にわかりやすい「ソースコード」と呼ばれるテキスト形式の文で、プログラムを入力します。コンピュータはソースコードを直接理解する事はできないので、ソースコードを機械語(マシン語ともいう)に変換する必要があります。その役割を果たすのがプログラミング言語なのです。 C言語、BASIC、JAVAなどという言葉を聞いた事があるでしょうか。これらはプログラミング言語（言語プロセッサ）といい、様々な種類が存在します。