形式言語とオートマトンの理論において、アルファベット (英: alphabet) または字母とは、文字や数字などといったような「記号」の有限の集合のこと。有限の文字列は、アルファベットからなる文字の有限の並びである。特に、{0, 1}からなるアルファベットはバイナリアルファベットと呼ばれる。また、二進列 (binary string)は、バイナリアルファベットの並びである。また、うまく処理することで、無限の文字の並びも考えることが可能である。
アルファベットΣが与えられたとき、Σ*はアルファベットΣからなる有限の文字列全てを意味する。ここでの*はクリーネ閉包を意味する演算子である。また、 Σ ∞ {\displaystyle \Sigma ^{\infty }} (or occasionally, Σ N {\displaystyle \Sigma ^{\mathbb {N} }} or Σ ω {\displaystyle \Sigma ^{\omega }} )は、アルファベットΣからなる無限の文字列全てを意味する。
例えばバイナリアルファベット{0, 1}からは{ε, 0, 1, 00, 01, 10, 11, 000, ...}のような文字列が生成できる(εは空文字列を意味する)。
関連項目
決定性有限オートマトン
計算機科学
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}
この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正
などしてくださる協力者を求めています(PJ:コンピュータ/P:コンピュータ)。