プログラム関連の用語 バッカス記法とは?プログラミング言語の文法を定義するための表記方法
バッカス記法とは、形式文法の記法の一つで、構文規則(文法)を定義するための表記法です。1959年にアメリカ合衆国の計算機科学者であるジョン・バッカスが考案しました。形式文法は、自然言語やプログラミング言語の文法を形式的に定義するために使用されるものであり、バッカス記法は形式文法を表現するための最も広く使用されている記法のひとつです。バッカス記法は、プログラミング言語の構文を定義するために広く使用され、プログラミング言語の構文を形式的に定義するために使用される形式文法の一つであることに加えて、数学や言語学などでも使用されています。バッカス記法は、構文規則を明確かつ簡潔に表現できるため、プログラミング言語や形式文法を定義するのに適した記法です。
