形式言語とは？

三省堂 大辞林 第三版

けい しきげんご ［5］【形式言語】

生成文法が対象とする、数学的な文法規則により生成される抽象的言語。

>>『三省堂 大辞林 第三版』の表記・記号についての解説を見る

ウィキペディア

形式言語

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/08/14 01:18 UTC 版)

形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。