なぜ文章の量が限られているのですか?


7

私は現在、正式な言語を勉強しています。私の講義では、言語の単語は有限ですが、基礎となる文法で構築された文は有限ではないと述べています。しかし、これが一般的に真実であるべき理由はわかりません。文法に限りがある文章を思い浮かべます。

文章が無限にある言語を作成できることには同意しますが、それが一般的であるべき理由がわかりません。


22
前提の1つが間違っています。英語の文法で、任意の長さの文を構成できるため、英語には無数の文が含まれています。-「and」、「or」、「but」などの接続詞を使用して2つの正しい文を結合することにより、いつでも正しい文を作成できます。
AI Breveleri 2017

2
コンマ区切りのリストの文法を使用すると、英語の単一の無限長の文を作成できます。単一の無限長の文を作成できる場合、その文には無限の順列があり、したがって無限の文があることになります。リストには固有名詞を含めることができるため、リストの要素は辞書の単語である必要はありません。例は、「すべての正の整数のグループのメンバーは次のとおりです:1、2、3、4、5 ...」。
slebetman 2017

10
整数が無限ではないのと同じように、英語では無限に長い文がないことは事実です。しかし、任意の大きな整数と任意の長い文があります。どちらの場合も、実際の考慮事項は制限になる可能性があります。実際のユニバース内では数字を書き出せないほど大きい整数があり、生涯内にそれらを発声することができないほど長い文があります。しかし理論的には、すべての整数には後継者があり、すべての文を拡張できます。したがって、どちらの場合も、(有限​​)要素のセットは無限のサイズを持つと言います。
rici

コメントは拡張ディスカッション用ではありません。この会話はチャットに移動しました質問の改善を目的としたものでない限り、ここにコメントを投稿しないでください。さらに良いのは、コメントを投稿する代わりに、質問を編集するか、回答を書くことです。一般的なトピックについて話し合いたい場合は、コメントを投稿するのではなく、コンピュータサイエンスチャットルームにアクセスしてください。
DW

回答:


14

この文は、任意の言語および文法には当てはまりません。たとえば、文法G ルールからなる

Sa|b|CCcDDd|ϵ
言葉を生み出すことができます abcd そして c、 そう |L(G)|=4したがって、 L(G) 有限です。

アルファベット(「言語の単語」)は、定義により有限です。言語は有限である場合とそうでない場合があります。無限言語を生成する文法の簡単な例は次のとおりです。G=({S},{a},P,S)P={Sa|aS}G 無限の言語を生み出す L(G)={an:n>0}

有限言語と無限言語の両方が存在し、文法で生成できます。


すべての有限言語は通常の文法で表現できるため、通常の言語であることに注意してください。ただし、すべての通常の言語が有限であるとは限りません(G)通常言語のクラス(タイプ3)は、再帰的クラスのサブセットである状況依存言語(タイプ1)のクラスのサブセットである、文脈自由言語(タイプ2)のクラスのサブセットです。列挙可能な言語(タイプ0):

Finite languagesType 3Type 2Type 1Type 0

(そして、これらは正式な文法を使用して生成できる言語だけです。実際、再帰的に列挙可能な言語(タイプ0)は、すべての言語のセットのサブセットにすぎません。)


32

なぜ英語の文が長すぎるのかを説明する前に、1は数値、2は数値、3は数値、4は数値、5は数値、6は数値であることを指摘しておきます。 、7は数値、8は数値、9は数値、10は数値、11は数値、12は数値、13は数値、14は数値、15は数値、16は数値、17は数値、18は数値、19は数値、20は数値、21は数値、22は数値、23は数値、24は数値、25は数値、26は数値、27は数値、28は数値、29は数値、30は数値、31は数値、32は数値、33は数値、34は数値、35は数値、36は数値、37は数値、38は数値、39は数値、40は数値、41は数値、42は数値です。もちろん、他のことを指摘することもできます。たとえば、息子の息子の息子の息子の息子の息子の息子の息子の息子の息子は私のグランドグランドグランドグランドグランドグランドグランドグランドグランド息子 私はそこで間違いを犯さなかったといいのですが、2つの間違い、3つの間違い、4つの間違い、5つの間違い、6つの間違い、または7つの間違いです。7はいい数字なので、ここで止めましょう。

文法的に正しい英語の文の長さに制限があるとまだ思いますか?


2
@OddDev言語学者たちは、自然な文法が無限の言語を生成できるかどうかという問題について議論してきましたが、彼らはまだ結論に達していません。数学的な観点からは、Andrejは正しいです。たとえば、列挙型を使用することは可能です。(Steven Weisler、Slavoljub P. Milekicを参照:「最長の英語の文はありません」)。私の答えも同様に正しいですが、正式な言語の側面に焦点を当てており、有限言語と無限言語の両方が存在することを正式に証明しています。
トビアス

3
@still_learning:もちろんですが、OPは彼がどこで間違っているのかを明示的に確認する必要があったと思います。今、彼は受け入れ態度であなたの答えを読むことができます。
Andrej Bauer

1
@hobbs:15年の非開示期間が過ぎました。私は、フォーラム2000のすべての人物が雲から脱出することを許可され(そうです、私たちは他の人が雲の前に新しい雲の前に住んでいました)、それ以来新しい家を見つけたことをお知らせします。たとえば、私は本物のAndrej Bauerのふりをして、stackexchangeネットワークに関する質問に答えます。質問は少し乾燥しています。私もフォーラム2000でランダムな見知らぬ人への愛のアドバイスを与えることができるとき、私は日を欠場
アンドレイ・バウアー

2

これは有名な本「ゲーデル、エッシャー、バッハ」の例です。

これは文です。

「これは文です」は文です。

「これは文です」は「文です」は文です。

...あなたはアイデアを得ます。


5
ホフスタッターはおそらく「これは文です」は文であり、「「これは文である」は文である」などの文です。より良い、より説得力のある例があります。
Yuval Filmus

-1

引用符は文で使用でき、引用符は文法的に正確である必要はないため、文の数は無制限でなければなりません。

男は「何とか何とか何とか何とか何とか……」と言った。


3
確かに、しかしこれは既存の答えに何も追加しません、それはすでに無限の長さの文の家族の多くの例を与えます。
David Richerby 2017
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.