正式な言語機能と例



の 正式な言葉 自然言語が適切ではない状況で排他的に使用するための一連の言語記号です。一般に、この言語は、自然語と非公式語、および人工語に分けられます。最初のものは日常生活の一般的な状況に使用されます。一方、人工は日常生活の範囲外の特定の状況で使用されています.

このように、形式的言語は人工グループの一部です。これは、特に形式科学（その行動分野が物理的世界の現実ではなく抽象的な世界の現実であるもの）で使用されています。これらの科学のいくつかは論理、数学およびコンピュータープログラミングを含みます.

この意味で、この種の言語は自然ではない言語コードを採用しています（それらは普通の世界のコミュニケーションの中では用途がありません）。形式科学の分野では、形式言語とは、これらの各科学に固有の法律によって規制される一連の記号の集まりです。.

現在、このタイプの言語はアルファベットとして一連の記号または文字を使用しています。これから「言語の連鎖」（単語）が形成されます。これらが規則に準拠している場合は、「整形式の単語」または「整形式」と見なされます。.

索引

  • 1特徴
    • 1.1制限された環境
    • 1.2アプリオリな文法規則
    • 1.3最小意味コンポーネント
    • 1.4シンボリック言語
    • 1.5普遍性
    • 1.6精度と表現力
    • 1.7拡張能力
  • 2例
    • 2.1ロジック
    • 2.2数学
    • 2.3コンピュータプログラミング
  • 3参考文献

特徴

制限された環境

正式言語の目的は、他の言語とは異なる環境条件下でデータを交換することです。例えば、プログラミング言語では、終わりは人間とコンピュータ間またはコンピュータ化された装置間の通信です。それは人間同士のコミュニケーションではありません.

したがって、それは特別な目的で作成され、非常に特別な文脈の下で機能するために特別な言語です。また、大規模には使用されません。それどころか、その使用は、言語の目的とその特定の文脈の両方を知っている人に限定されます。.

文法は先験的に支配する

形式言語は、基礎を与える演繹的な文法規則の確立から形成されています。そのため、最初に要素の組み合わせ（構文）を管理する一連の原則を設計し、次に式を生成します。.

一方で、形式言語の開発は意識的です。これは彼らの学習のために持続的な努力が必要であることを意味します。同じ順序で、その使用は科学的使用の規則と慣習の専門化につながります。.

最小意味コンポーネント

形式言語の意味的要素は最小限です。形式言語に属する特定のチェーンは、それ自体には意味がありません。.

彼らが持っているかもしれない意味的な負荷は部分的にオペレータと関係から来ます。これらの中には、等式、不等式、論理結合詞、算術演算子があります。.

自然言語では、単語「お父さん」の「p」と「a」の組み合わせの繰り返しは、parentという意味値を持ちます。しかし、正式な言葉ではそうではありません。実用的な分野では、チェーンの意味や解釈は、その形式言語を通して定義しようとしている理論にあります.

したがって、線形連立方程式に使用すると、その意味値の1つとして行列理論が使用されます。一方、これと同じシステムには、コンピューティングにおける論理回路設計の意味的負荷があります。.

結論として、これらの連鎖の意味はそれらが適用される形式科学の分野に依存します.

シンボリック言語

形式言語は完全に象徴的です。これはそれらの間の関係を伝えることが使命である要素から作られます。これらの要素は、前述のように、それ自体では意味的価値を生み出さない、正式な言語的兆候です。.

形式言語のシンボル体系の構築形式は、事実ではなくそれらの関係に依存して計算を行い真理を確立することを可能にします。この象徴は独特であり、物質の世界におけるいかなる具体的な状況からもかけ離れています。.  

普遍性

形式言語は普遍的な性質を持っています。その主観性に動機づけられている自然なものとは異なり、解釈と複数の方言が可能ですが、正式なものは変更されていません.

実際、それはさまざまな種類のコミュニティでも同様です。彼らのアプローチは彼らが話す言語に関係なくすべての科学者にとって同じ意味を持ちます.

精度と表現力

一般的に、形式言語は正確で表現力がありません。その形成規則は、その話者が新しい用語を作り出したり、既存の用語に新しい意味を与えたりすることを防ぎます。そして、それは信念、気分、そして心理的状況を伝えるために使うことはできません。.

拡張能力

形式的言語のためのアプリケーションの発見において進歩が遂げられたという尺度において、その開発は飛躍的な進歩を遂げた。内容（意味）を意識せずに機械的に操作できるという事実により、記号と演算子を自由に組み合わせることができます。.

理論的には、拡張の範囲は無限です。例えば、コンピューティングの分野における最近の研究およびコンピューティングは、実用的な目的のために両方の言語（自然言語と正式言語）を関連づける。.

具体的には、科学者のグループはそれらの間の同等性を改善する方法に取り組んでいます。最終的に追求されるのは自然言語を作り出すために形式言語を使用できる知能を作成することです。.

例

ロジック

（p⋀q）⋁（r⋀t）=> tという文字列では、文字p、q、r、tは命題を象徴し、具体的な意味はありません。一方、記号⋀、⋁、および=>は、命題を接続するコネクタを表します。この特定の例では、使用されるコネクターは "y"（⋀）、 "o"（⋁）、そして "then"（=>）です。.

文字列に最も近い変換は、括弧内の式のいずれかが満たされているかどうかにかかわらず、tが満たされるか、満たされないかです。コネクタは、何かを表すことができる命題間の関係を確立することを担当しています...

数学

この数学的な例では、A =❴x|x⦤3⋀x>2❵、名前 "x"の要素を持つ名前 "A"の集合が介在します。 Aのすべての要素は、記号❴、|、⦤、⋀、>、❵によって関連付けられています。.

ここでは、要素「x」が集合「A」になるように、要素「x」が満たさなければならない条件を定義するためにそれらすべてを使用します。.

このチェーンの説明は、このセットの要素はすべて3以下であると同時に2以上であるという条件を満たすすべての要素であるということです。つまり、このチェーンは数字3を定義しています。条件に従います.

コンピュータプログラミング

プログラミングラインＩＦ Ａ ＝ ０、ＧＯＴＯ ３０、５ ＊ Ａ ＋ １は、「条件付きであれば」として知られる演算子を介して見直しおよび意思決定のプロセスにかけられる変数「Ａ」を有する。.

式 "IF"、 "THEN"、および "GOTO"は、演算子構文の一部です。一方、残りの要素は "A"の比較値とアクション値です。.

その意味は次のとおりです。コンピュータは "A"の現在の値を評価するよう求められます。それがゼロに等しいならば、それは「３０」（他の命令があるであろうプログラミングの他の行）に行くであろう。ゼロと異なる場合は、変数「A」に値5が乗算され（*）、値1が加算されます（+）。.

参考文献

  1. コリンズ辞書。 （s / f） 「正式な言語」の定義collinsdictionary.comから撮影.
  2. シドニー工科大学。 （s / f）正式および非公式の言語uts.edu.auから撮影.
  3. 定義（s / f）形式言語の定義definitions.netから取得しました.
  4. マドリード工科大学。 （s / f）自然言語と正式言語lorien.die.upm.esから取得.
  5. ルハンの自治体。 （s / f）正式な言葉lujan.magnaplus.orgから取得しました.
  6. Ｃｏｒｂｉｎ、Ｊ．Ａ．（ｓ ／ ｆ）。 12種類の言語（およびその特性） psicologiaymente.com.
  7. Bel Enguix、G。とJiménezLópez、M。D.（s / f）。シンポジウム言語学への形式言語理論の新しい応用elvira.lllf.uam.esから撮影した.