正式言語は言語記号、自然言語が適切でない状況で専用のセットです。一般に、言語は自然または非公式および人工に分けられます。1つ目は、一般的な日常の状況で使用されます。一方、人工は日常生活の範囲外の特定の状況で使用されます。
このように、形式言語は人工言語のグループの一部です。これは、特に形式科学（その分野が物理的世界ではなく抽象的な世界の現実であるもの）で使用されます。これらの科学の一部には、論理学、数学、およびコンピュータプログラミングが含まれます。
この意味で、この種の言語は、自然ではない言語コードを使用します（通常の世界では、コミュニケーションには適用されません）。形式科学の分野では、形式言語は一連の記号のチェーンであり、これらの科学のそれぞれに固有の法律によって規制することができます。
現在、このタイプの言語では、記号または文字のセットをアルファベットとして使用しています。これから「言語連鎖」（単語）が形成されます。これらは、規則に準拠している場合、「整形式の単語」または「整形式」と見なされます。
特徴
制限された環境
形式言語は、他の言語とは異なる環境条件下でデータを交換することを目的としています。たとえば、プログラミング言語では、人間とコンピュータ間、またはコンピュータ化されたデバイス間の通信が目的です。人間同士のコミュニケーションではありません。
したがって、それは特定の目的で作成され、非常に特定のコンテキストで機能するアドホック言語です。また、あまり使用されていません。逆に、その使用は、言語の目的とその特定のコンテキストの両方を知っている人に限定されます。
文法はアプリオリを支配する
形式的な言語は、それを基礎とするアプリオリな文法規則の確立から形成されます。したがって、最初に要素の組み合わせ（構文）を管理する一連の原則が設計され、次に式が生成されます。
一方、正式な言語の発達は意識されています。つまり、彼らの学習には持続的な努力が必要です。同じように、その使用は、科学的使用の規制と慣習の専門化につながります。
最小限のセマンティックコンポーネント
形式言語の意味論的コンポーネントは最小限です。形式言語に属する特定の文字列は、それ自体には意味がありません。
それらが持つことができる意味上の負担は、部分的にはオペレーターと関係から生じます。これらの一部は、等価、不等価、論理接続詞、算術演算子です。
自然言語では、単語 "papa"内の "p"と "a"の組み合わせの繰り返しは、親の意味的価値を持ちます。ただし、正式な言語ではありません。実用的な分野では、チェーンの意味または解釈は、この正式な言語を通じて定義しようとする理論にあります。
したがって、方程式の線形システムに使用される場合、その意味論的値の1つとして行列理論があります。一方、この同じシステムには、コンピューティングにおける論理回路設計の意味上の負荷があります。
結論として、これらのチェーンの意味は、それらが適用される形式科学の領域に依存します。
シンボリック言語
形式的な言語は完全に象徴的です。これは、その関係を伝達することを使命とする要素から作られています。これらの要素は、前述のように、それ自体では意味的価値を生成しない正式な言語記号です。
形式的な言語の記号の構成の形式は、事実ではなくそれらの関係に依存して計算と真理を確立することを可能にします。この象徴性は独特であり、物質界における具体的な状況とはかけ離れています。
普遍
形式言語は普遍的な性格を持っています。その主観性に動機付けられて解釈と複数の方言を可能にする自然なものとは異なり、正式なものは不変です。
実際、これはさまざまなタイプのコミュニティで同様です。彼の発言は、彼らが話す言語に関係なく、すべての科学者にとって同じ意味を持っています。
正確さと表現力
一般に、正式な言語は正確で、あまり表現力がありません。その形成規則は、その話者が新しい用語を作り出すこと、または既存の用語に新しい意味を与えることを防ぎます。また、信念、気分、心理的状況を伝えるために使用することはできません。
拡張性
正式な言語のアプリケーションの発見が進んだため、その開発は急激に進んでいます。内容（意味）を意識せずに機械的に操作できるため、記号と演算子を自由に組み合わせることができます。
理論的には、拡張の範囲は無限です。たとえば、コンピューティングと情報学の分野における最近の研究では、実用的な目的で両方の言語（自然と正式）が関連付けられています。
具体的には、科学者のグループは、それらの間の同等性を改善する方法に取り組んでいます。結局、求められているのは、正式な言語を使用して自然言語を生成できるインテリジェンスを作成することです。
例
論理
文字列：（p⋀q）⋁（r⋀t）=> tでは、文字p、q、r、tは命題を具体的な意味なしに表しています。一方、記号⋀、⋁、および=>は、命題をリンクするコネクターを表します。この特定の例では、使用されるコネクタは「and」（⋀）、「or」（⋁）、「then」（=>）です。
文字列に最も近い変換は次のとおりです。かっこ内の式のいずれかがtrueまたはnotの場合、tはtrueまたはnotです。コネクタは、何でも表現できる命題間の関係を確立する役割を果たします。
数学
この数学的例では、A =❴xx⦤3⋀x>2❵であり、名前「x」の要素を持つ名前「A」のセットが介入します。Aのすべての要素は、記号❴、-、⦤、⋀、>、❵によって関連付けられています。
これらすべては、要素「x」がセット「A」からのものになることができるように、要素「x」が満たす必要がある条件を定義するためにここで使用されます。
このチェーンの説明は、このセットの要素はすべて、3以下であると同時に2より大きいという条件を満たすすべての要素であるということです。つまり、このチェーンは、3を定義します。これは、条件を満たす。
コンピュータープログラミング
プログラミングラインIF A = 0、THEN GOTO 30、5 * A + 1には、変数「A」があり、「if条件付き」と呼ばれる演算子を介してレビューおよび意思決定プロセスが行われます。
式「IF」、「THEN」、「GOTO」は、演算子構文の一部です。一方、残りの要素は「A」の比較値とアクション値です。
その意味は次のとおりです。コンピュータは "A"の現在の値を評価するように求められます。ゼロに等しい場合は、 "30"（別の命令がある別のプログラミング行）になります。ゼロと異なる場合は、変数「A」に値5が乗算され（*）、値1が追加されます（+）。
参考文献
- コリンズ辞書。（s / f）。「正式な言語」の定義。collinsdictionary.comから取得。
- シドニー工科大学。（s / f）。形式的および非公式な言語。uts.edu.auから取得。
- 定義。（s / f）。形式的な言語の定義。definition.netから取得。
- マドリッド工科大学。（s / f）。自然言語と正式言語。lorien.die.upm.esから取得。
- ルハンの自治体。（s / f）。正式な言語。lujan.magnaplus.orgから取得。
- コービン、JA（s / f）。12種類の言語（およびその特性）。psychologiaymente.com。
- Bel Enguix、G.およびJiménezLópez、MD（s / f）。シンポジウム：言語学への形式言語理論の新しい応用。elvira.lllf.uam.esから取得。