プログラミング言語

コンピュータのプログラムを記述するための形式言語。 人間がふだん使っている日本語などの言語とちがって ほとんどのプログラミング言語は厳密に定義されており、 規則に従わないプログラムは実行されない。 大部分のプログラミング言語の文法は文脈自由文法によって定義されている。