形式文法とはなんですか？

ページ名：形式文法とはなんですか？

A. 形式文法とは、形式的に与えられた文法であり、形式体系によって定義されます。形式文法では、文や語句が文法的に正しいかどうかを、形式的な規則に従って評価します。形式文法には、生成文法、依存文法、生成規則などがあります。