言語規格にみる言語定義の仕方とその読み方

抄録

プログラムを書き表わす言語は多数ある.人工的なこれらの言語は,定義書によって定められる.特に広く使われている言語は,規格として与えられる.これらの定義に用いられている方法について背景を含めて紹介し,あわせてそれらの読み方について注意すべき点を述べる.