コンパイラーを使うことでプログラムをコンピュータが直接処理できるマシン語に変換することができる．

処理手順であるアルゴリズムを，人間とコンピュータの両方で理解できる言語で記述したものがプログラムである．

コンピュータで処理させたい問題と，ハードウェアで実現できる機能のレベルの差をセマンティックギャップと呼ぶ．

コンピュータに指示したことと，結果として得られたものの食い違いをセマンティックギャップと呼ぶ．