コンピュータサイエンスでは、公式言語ではないものは何ですか？ウィキペディア<a href="https://www.wikiwand.com/en/Formal_language" rel="nofollow">https://www.wikiwand.com/en/Formal_language</a>オン

Question

が、私は正式な言語の定義が見つかりました：数学、コンピュータサイエンス、および言語学で

、形式言語 は ルールによって制約されるシンボルの文字列の集合でありますそれに特有のものです。

これはかなり抽象的です。そして、私はこの定義に合わない言語をイメージすることはできません。誰でもの非公式の言語がどのように見え、どのように定義に合わないのかについてのアイデアはありますか？

Answer 1

まず質問にお答えください。形式的な言語の良い例ではないの自然な言語です。英語とスロベニア語が例です。タガログとタリフィット・ベルベルもそうです。残念ながら、言語学者はすべてが同意する自然言語の定義を持っていないようです。

ノアム・チョムスキーは、1956年の論文Three Models for the Description of Languageで、文脈自由なガンマーを使って自然言語をモデル化しようとしていました。彼はその紙の中でそれらを発明した（または発見した、または望むならば発見した）。彼はそれをそれらと呼んでいませんでした。彼らは英語をモデル化するのに有益ではありませんでしたが、コンピュータサイエンスに革命をもたらしました。

正式には、正式な言語は、有限のアルファベットを超える単なる文字列のセットです。それでおしまい。

すべての有効なCプログラム、すべての有効なHTMLファイル、すべての有効なXMLファイル、すべてのバランスの取れた括弧（例：(),()(), ((()))()(()), ...）、常に停止するすべての確定的チューリングマシンのセット（コード化されたコード） k -colors（実際には何らかのエンコーディングの下で​​のコード）、1などで終わるすべてのバイナリ文字列のセットなどで着色できるすべての単純なグラフのセット

正規表現（またはそれに相当するDFA）を使用して認識しやすいものもあります。 DFAを使用して認識することが不可能なものもあれば、PDAを使用して認識するものもあります（または、文脈自由文法で記述することもできます）。他の人はそのような記述を認めないが、チューリングマシンで認識できる。 Turingマシン（uncomputableと呼ばれる）でも認識できないものがあります。

これは定義がとても有用な理由です。 CS eveyの日に私たちが遭遇する多くのものは、公式言語の観点からキャストすることができます。

この本は、それぞれの上記のテーマに含まれています。フィードバックカタログ情報、または画像について報告著者からのコメント出版社からのコメントAmazon.co.jpのプライバシーステートメントAmazon.co.jpの発送情報Amazon.co.jpでの返品と交換Amazonについて採用情報会社概要プレスリリースAmazonと地球

Answer 2

英語は公式言語ではありません。これは単なる文字列ではありません。それは時間の経過とともに話された形、進化、および方言、そして形式的な言葉にはないあらゆる種類のものを持っています。形式的な言葉では、10年から1年の間に「電子メール」という言葉を得ることはできませんでした。

Answer 3

言語は、与えられた記号から構成された一連のシーケンスです。有限または無限のいずれでもかまいません（たとえ文があるにもかかわらず英語の文のセットは無限ですが、長すぎるとネイティブスピーカーによっても理解できません）。それが有限であれば、その記述は正式な定義である。

数字が含まれる算術式の言語、2つのバイナリ演算子 '+'、 '*'および変数を使用すると、その言語に属するすべての文字列をリストすることはできません。以下のblazsのコメントを参照）、一連の規則として有限の説明を与えることができます。

E：= NUM​​ | v | E '+' E | E '*' E

（NUMは数字のシーケンス、vは変数）は、無限集合の有限な記述です。それが正式なものなのです。

音声や言語の進化などのさまざまな側面は​​、異なる問題です。それらは公式化することもできます。