形式言語

形式言語 は、その文法（構文、統語論）が、場合により意味 も形式的に与えられる（形式体系を参照）言語である。形式的ではないため、曖昧さが残されたり話者集団により用法が変化する自然言語に対し、プログラミング言語を含む一部の人工言語や機械可読なドキュメント類などの形式言語は、用法の変化に厳格である。本項は形式的な統語論である構文の形式的な定義と、形式文法を扱う。形式意味論も参照。