どのような形式の言語に起因することができますか？ 使用例

正式な言語とは何ですか？それは自然言語とどう違うのですか？ どのように形成されたのですか？ どのような形式の言語に起因することができますか？ それを示すために何が使われていますか？

形式言語の特徴

これは、式の構築とその理解に関する正確な規則を特徴とする人工言語のグループの名前です。 形式言語は、適用目的で使用されるシステムとして分類することができます。 それらは明確な規則に従って作成され、調査された ドメイン またはシミュレートされたオブジェクトの関係および特性の一貫性があり、コンパクトで正確なマッピングを提供します。 使用される記号の意味および意味は、いくつかの実用的な特徴（使用の状況）から変わることはできない。 これは、構文的変換と意味的解釈の規則の形式的言語における存在のために可能である。 多くの場合、数学の基盤として使用されると構築されます。 その中に、開発期間を通して、さまざまな概念や目的に使用されている様々な記号シンボルが使用されたという事実のために、 これは、公式言語のためのものです。 これにより、データを大幅に削減することができます。 これまでは、公式と一緒に自然言語が使用されていましたが、主語が徐々に複雑になり、数学的判断を厳密に論理的に分析する必要があるため、後者を放棄することになりました。 このプロセスはXVIIからXX世紀にまで広がった。 それは過去の世紀であり、正式な言語の発達の点から最も有益であると考えられています。 さまざまな特別なブランチが作成されました。 例えば、論理のプログラミングと代数は、理論的観点だけでなく実用的観点からもコンピュータ科学にとって特に重要である。

定義

形式的言語に起因するものは、すでに簡単に説明しました。 しかし、彼ら自身はどうですか？ 形式的な言語には多くの異なる定義が与えられています。 それらをすべてリストするには、時間がかかるので、最も人気のあるものを知ります：

1. 与えられた言語に含まれる単語の簡単なリスト - 通常、有限のタイプの構造と、単純な構造を持つ構造のものについて言います。
2. 特定の形式的文法によって生成される単語。
3. 正規表現で作成された構造。
4. BNF建設によって生成された言葉。
5. 有限状態機械によって認識される構造。

例を見てみましょう。 アルファベット全体が1と0の2桁で与えられているとします。文字「O」を表示するには、1010001の組み合わせを使用します。これは正規言語のアプリケーションです。 空文字（文字列の長さが0で、何もない場合）を使用することもできます。これは、わかりやすい形で特別な指定をしています。 しかし、どのような形式の言語のより詳細な理解は、さらに与えられる4つの例を助けるでしょう。 それは何のためですか？ 読者は、正式な言語に帰属することが可能であるという理解を持っていた。 しかし、彼らがどのように創造されたかについてもう少し詳しく説明します。

形式的言語の構築

それぞれの形式的言語は、いつか誰かによって作成された構造です。 それらは通常、1つのスキームに従って構築されます。

1. まず、アルファベットまたは特定の記号のコレクションを選択します。そこから、その言語で使用される式が構築されます。 形式的な言語には、コンピュータを使用してプログラミングする方法が含まれます。
2. 意味のある文章を作成するための構文、つまり機能と規則について説明します。
3. 特定の規則に従って、単語と表現が構成されます。 規則があります：文字の任意のシーケンスは単語とみなすことができるはずです。

形式的な言語には、明確なルールを持つ設計があります。これは記憶すべきです。 構築時には、いくつかの機能があります。 だから、 "シンボル"の概念は意味的負荷の観点から非常に多機能なので、その大量には "文字"という言葉が使われます。 しかし、それらの下で私たちのための通常の表記だけでなく、角かっこ、特殊記号などを理解することができます。 これは正式な言語にのみ適用されます。

例1

1と0から始めましょう。そのような場合、用語 "term"と "formula"が使われます。 最初のものは、オブジェクトの名前のアナログとして機能し、特定のものを参照するために使用されます。 まず、定数と目的変数を意味します。 これらの中で、より複雑な構造が構築され、そのために、ある言語で使用される関数が使用されます。 式とは、特定のプログラミング言語での使用が可能な用語群を意味すると理解されます。 この「命令」が処理され、必要な結果が得られます。

例2

反転（¬）、論理和（∧）、結合（∨）と含意（⇒）、およびその他の多数の論理が存在する論理の例を考えてみましょう。 イメージとして、あなたはそのようなレコードを書くことができます：

1. A;
2. А∧В⇒¬А
3. ¬（А∨С）

シンボルA、B、Cが変数を代入すると、 論理演算が行われます。 このタイプの正式な言語はどこで使用されていますか？ プログラミング言語、数学、関係、論理的および数学的関数、またはプログラマ自身が記述した個々の部分で見られるそのようなメカニズムの幅広い使用。

例3

もっと複雑な論理式を見てみましょう：

¬（А∨С）⇔¬А∧С= 1

だから私たちは公式言語が必要です。 それが言葉で記述されている場合、どうなるだろうと想像してみてください。 そして今、公式に基づいて推論を推論します。 意味のある表現は、それが作成された式および用語の形成、変更、および「理解」のための所定の規則が観察された場合にのみ、形式的言語で得ることができる。

1. 用語と数式の構築。
2. 意味論的側面と解釈の研究
3. 他の人からの数式と用語の順序。

各形式言語では、これらの規則のセットがうまく処理されなければなりません。

例4

言語の構文における用語と式の出力ルールが存在するため、モデルの同形変換を実行することが可能です。 これは、すでに存在する特定の知識のセットを反映（表現）するだけでなく、おそらく新しい情報を受け取ることになります。 さらに、変換は、明確かつ厳密な規則に従って行われるが、自動化することができる。 同様の技術が、 エキスパートシステム、 知識ベース、および意思決定支援ソフトウェア製品で使用されている。

結論

形式的な言語は科学、特に工学において幅広い応用が見出されている。 科学的研究の実施や実践的活動の実施中、後者の顕著な表現能力を考慮して、自然と相互作用することができる。 それにもかかわらず、公式言語は、知識のより正確な伝達を可能にし、人類によって蓄積された情報の客観的交換を行う。