Loading article…
形式言語理論では、空の文字列、または空の単語は、長さが 0 の 一意の文字列です。
形式理論
形式的には、文字列は文字、数字、スペースなどの文字の有限で順序付けられたシーケンスです。空文字列はシーケンスの長さが 0 である特殊なケースであり、文字列には記号が含まれません。2 つの文字列が異なるのは長さが異なるか記号のシーケンスが異なる場合のみであるため、空文字列は 1 つだけです。形式的な扱いでは、[1]空文字列はεで表され、場合によってはΛまたはλで表されます。
空の文字列は、文字列、さらには空の文字列も含まない形式言語（つまり文字列の集合） である空の言語∅と混同しないでください。
空の文字列にはいくつかのプロパティがあります。
- |ε| = 0。その文字列の長さはゼロです。
- ε ⋅ s = s ⋅ ε = s。空の文字列は連結演算の単位元です。すべての文字列の集合は、⋅ と ε に関して自由モノイドを形成します。
- ε R = ε。空の文字列を反転すると空の文字列が生成されるため、空の文字列は回文です。
- 文字列内のすべての文字に関する記述は、空虚に真実です。
- 空文字列はすべての文字列の中で最も短いため、辞書式順序では他の文字列よりも前になります。 [2]
文脈自由文法では、シンボルが空の文字列を生成することを許可する生成規則はε 生成と呼ばれ、シンボルは「null 可能」であると言われます。
プログラミング言語での使用
ほとんどのプログラミング言語では、文字列はデータ型です。文字列は通常、異なるメモリ アドレス(場所) に格納されます。したがって、同じ文字列 (例: 空の文字列) がメモリ内の 2 つ以上の場所に格納されることがあります。
この方法では、メモリ内に複数の空の文字列が存在する可能性がありますが、これは、空の文字列が 1 つしか存在しないという正式な理論定義とは対照的です。ただし、文字列比較関数は、これらの空の文字列がすべて互いに等しいことを示します。
長さが 0 の文字列であっても、使用されている形式によっては、それを保存するためのメモリが必要になる場合があります。ほとんどのプログラミング言語では、空の文字列はnull 参照(または null ポインター) とは異なります。これは、null 参照が文字列をまったく指さず、空の文字列も指さないためです。空の文字列は正当な文字列であり、ほとんどの文字列操作はこれに基づいて機能します。一部の言語では、空の文字列、null 参照、整数 0、浮動小数点数 0、ブール値false、ASCII文字NUL、またはその他の同様の値の一部またはすべてを同様に扱います。
空の文字列は通常、他の文字列と同様に表現されます。文字列終了文字 (ヌル終了文字列またはプレーン テキスト行) を使用する実装では、空の文字列は、この終了文字を直接使用することで示されます。
文字列が空かどうかを確認するための関数、メソッド、マクロ、または慣用句は、言語によって異なります。 [例が必要]
空の文字列の例
空文字列は、位置表記法（任意の基数）におけるゼロの構文的に有効な表現であり、先頭のゼロは含まれません。空文字列には形式言語理論の外部で標準的な視覚表現がないため、数値ゼロは伝統的に 1 つの10 進数字0で代わりに表されます。
ゼロで埋められたメモリ領域は、ヌル終了文字列として解釈され、空の文字列になります。
空のテキスト行は、空の文字列を示します。これは、テキスト ファイルでよく見られるように、連続する 2 つのEOLから発生することがあり、MediaWikiなどのテキスト処理で段落を区切るために使用されることもあります。
参照
参考文献
- ^コーコラン 、ジョン;フランク、ウィリアム; マロニー、マイケル (1974)。「弦理論」。Journal of Symbolic Logic。39 ( 4): 625–637。doi :10.2307/2272846。JSTOR 2272846。S2CID 2168826。
- ^ CSE1002 講義ノート – 辞書編纂
- ^ R で「空の文字列」を作成する方法は 2 つあります
""。もう 1 つは、ここで としてリストされています。character(0)空の文字ベクトルを作成し、カウントすると 0 を出力します。 - ^ 「std::string 内の文字列 - Rust」。doc.rust-lang.org 。 2022年11月30日閲覧。