文脈自由文法
Context-free grammer
前後の文脈にかかわらず、非終端記号を終端記号と非終端記号の列に置き換えることができるという文法。
V → w という生成規則がある時に、V の前後に何があっても w に置き換えることできると保証されている文法。
つまり、XVY という記号列がある時に、X、Yの中に何が現れても、XwY と置き換えることができる、ということ。