形式言語とは何か、その特徴、例、種類について説明します。また、自然言語との違い。
形式言語とは何ですか？
の コンピューティング 情報科学では、自然言語ではなく形式言語を指す場合、それらのシステムを指します。 サイン プリミティブシンボルと正式に指定された使用規則のシステムに恵まれている、つまり、 アルファベット との 文法 （また 構文） 丁寧：
- アルファベットは、有限で空でないプリミティブ記号のセットであると理解されています。
- 形式文法は、特定の意味を持つ有限のチェーンを形成するための、上記のアルファベットの組み合わせ規則の有限集合であると理解されています。
この点で、それは、ルールが複雑で曖昧であり、意味が解釈に依存する、人間のコミュニケーションの必要性の周りに生じる自然言語とは異なります。 言語記号。このため、自然言語は、形式言語を読むよりもはるかに複雑です。 ルール それらは有限であり、事前に確立されています。
形式言語は、 算数 との コンピューティング、作成できるので コード 人間と機械の間のコミュニケーション、つまり プログラミング。正式な言語を言語の正式なレベルまたは 形式言語、これは、口頭言語の使用とは対照的に、口頭言語の正式で礼儀正しく正式な使用です 口語、乱れ、 非公式.
アメリカの言語学者ノーム・チョムスキー（1928-）によると、形式言語は4つのタイプに分類できます：
- タイプ3：正規文法、つまり正規表現によって取得でき、すべての可能な記号文字列を取得できるルールのシステムを備えた正規言語。
- タイプ2：非コンテキスト文法を備えた非コンテキスト言語。つまり、すべての可能なシンボル文字列を取得できますが、通常の言語よりもはるかに複雑です。
- タイプ1：コンテキスト文法を備えたコンテキスト言語、つまり、名前が示すように、依存する記号の文字列を取得できるようにする 環境.
- タイプ0：制限なしで無料の文法を備えた無料の言語。これにより、帰納的可算言語が生成されます。
形式言語の例
形式言語の例は次のとおりです：