プログラム言語

　コンピュータに関係し，人工的に作られた言語，つまり人工言語には，仕様記述言語，検証用言語，プログラム言語などがある．仕様記述言語は，ユーザあるいは設計者がコンピュータに解かせる問題を要求定義として明確に記述するための表現手段である．また，検証用言語は，仕様記述言語やプログラム言語で書かれた内容を検証するための言語である．ある問題をコンピュータで解く場合，その問題をコンピュータが理解できる形式で表現しなければならない．人間が通常使用している表現形式である自然言語に対して，コンピュータが理解できる言語をプログラム言語と呼ぶ．プログラム言語には，人間にとってわかりやすいものとコンピュータに依存した言語がある．

　プログラム言語は，コンピュータで解こうとする問題およびその解法手順を正確に記述するための表現手段である．プログラマは，この言語を用いてプログラムを作成し，コンピュータへ入力する．プログラマが書いたプログラムをソースプログラムと呼ぶ．ソースプログラムは，コンピュータへ入力されると，コンピュータが実行可能なオブジェクトプログラムに変換される．これらの関係を図1に示す．