形式言語とは？

デジタル大辞泉

けいしき‐げんご【形式言語】

《formal language》自然言語を用いるには適していない記号論理学・コンピュータープログラミングなどのさまざまな面で活用するために、記号や式によって作られた人工言語。→自然言語

精選版 日本国語大辞典

けいしき‐げんご【形式言語】

〔名〕 （英 formal language の訳語） 記号や式などによって構成される人工言語。記号論理学、コンピュータなどで用いる。⇔自然言語

ウィキペディア

形式言語

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/07 05:24 UTC 版)

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