Empty string

ウィキペディア

空文字列

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/05/09 14:58 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "空文字列" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2013年10月）

形式言語理論における空文字列（くうもじれつ・からもじれつ、英: empty string）とは、長さが0の一意な文字列であり、文字列における空集合である。主にコンピュータ、特にプログラミング言語において用いられる用語である。ヌル文字列（英: null string^[1][2]）とも呼ばれ、空文字列と同一視されることもあるが、ヌルポインタやヌル参照と紛らわしい。Javaではnull stringと言えば無効な参照値であるnullを指し、String型の有効な参照値である空文字列""とは明確に区別する^[3]。

形式言語における空文字列

形式的には、文字列は文字や数字といったシンボルの有限列として表現されるが、空文字列はこの有限列の特殊なケースである。空文字列は長さがゼロであり、何のシンボルも含まない。また、空文字列は必ず一つしか存在しない。これは、2つの異なる文字列が存在する場合、文字列の長さか、文字列に含まれるシンボルのいずれかが必ず異なっているためである。形式言語では、空文字列はλで表される（λの大文字であるΛや、εを使う場合もある）。

空文字列を空言語∅と混同しないこと。空言語は、形式言語（文字列の集合）において、空文字列すらも含まない空集合のことを意味する。

空文字列の持つ性質を以下に挙げる。

• ${\displaystyle |\lambda \,|=0}$
  この節の加筆が望まれています。 （2013年10月）
  • 位取り記数法では、空文字列はいかなる基数においても0を表す（先行ゼロがない場合においても）。ただし形式言語理論以外の領域では、空文字列は視覚的に表現ができないため、ゼロという数は伝統的に数字0の形で表現される。
  • 文字列が文字へのポインタで表されるC言語などでは、ヌル文字へのポインタで表される文字列となる。ゼロで埋められたメモリ領域をヌル終端文字列として解釈すると空文字列となる。
  • 空文字列はテキスト中の空行という形でも現れる。テキストファイルでよく見られるように、改行コードを2つ連続させることで空行が発生する。空行の用途として、テキスト処理で段落の区切りを表現するのに使われる場合がある（例：Markdown^[5]）。

  関連項目

  • 空集合
  • ヌル終端文字列

  参考文献

  1. ^ 空文字列（ヌル文字列）とは - 意味をわかりやすく - IT用語辞典 e-Words
  2. ^ Kernighan and Ritchie, C, p.38^{[要検証 – ノート]}
  3. ^ 21.2 Validating Null and Empty Strings - Java Platform, Enterprise Edition: The Java EE Tutorial (Release 7)
  4. ^ CSE1002 Lecture Notes - Lexicographic
  5. ^ "Basic Syntax". Markdown Guide. 2024年5月9日時点のオリジナルよりアーカイブ。2024年5月9日閲覧。

  表 話 編 歴 コンピューティングにおけるnull
  ヌル文字 Nullデバイス ヌル関数（英語版） ヌルモデム Null Objectパターン（英語版） ヌルポインタ SQLのヌル（英語版） ヌル文字列 null合体演算子 null条件演算子
  See also: ヌル終端文字列 Nullable型 未定義値（英語版）