文脈自由的な構造が、そのプログラム言語の
構文要素で自然に表現(定義)できる言語。