空の文字列のλの起源は何ですか？

私は通常、空の文字列（空の単語または空の文字列）にシンボルを使用します。しかし、一部の人々は代わりにを使用することを知っています。λ $\varepsilon$$\lambda$$\varepsilon$

は「空」という言葉から派生したと思います。ただし、起源はわかりません。$\varepsilon$$\lambda$

オートマトン理論には、オートマトンのイプシロン遷移があり、ラムダ遷移とも呼ばれます。たとえば、JFLAPソフトウェアは、デフォルトでイプシロン遷移のラベルにを使用します。$\lambda$

オリジンをグーグルで検索してcs.stackexchangeを検索しましたが、見つかりませんでした。誰もこれを説明するリファレンスを知っていますか？

ドイツ語版ウィキペディアという主張ドイツ語で「空」と「レアー」から来ています、。ドイツ語は数学の主要言語の1つであったため、これはもっともらしいようです。$\lambda$

チョムスキーは、初期の論文でを空の文字列として（または実際には文字列連結のアイデンティティ要素として）使用しました。組み合わせ論の一部​​の人々は、同じ正当化で、まだ空の文字列としてを使用しています。$I$$1$

おそらく、表記は「フィンランドの学校」に由来します。

Arto Salomaaによる「Formal Languages」のコピー（アカデミックプレス、ACMモノグラフシリーズ、1973年）では、空の文字列にを使用しています。そして彼の1969年の本「Theory of Automata」（Pergamon Press）もそうです。$\lambda$

戻ります。MOラビンとD.スコット（1959年4月）による古典的な「有限オートマトンとその決定問題」には、「記号のない空のテープ」（テープは記号の有限シーケンス）の表記（大文字）があります。$\Lambda$

有限オートマトンへの書き込みへの早期の人々の一つはTrakhtenbrotであり、彼は多くのように記号を使用が、タイプセットとして∧（Barzdin、1970年と彼の本のように、私のロシア語がお粗末ですが、私は認識し∧ P = P ∧ = P）。$\Lambda$$\land$$\land p= p\land=p$