空字符串的λ的起源是什么？

14

我通常在空字符串（空词或空字符串）中使用符号。但是我知道有些人使用而不是。 $\varepsilon$ $\lambda$ $\varepsilon$

我认为源自“空”一词。但是我不知道的起源。 $\varepsilon$ $\lambda$

在自动机理论中，存在自动机的ε跃迁，也被称为lambda跃迁。例如，默认情况下，JFLAP软件使用作为epsilon过渡的标签。 $\lambda$

我在起源上进行了搜索，并搜索了cs.stackexchange，但找不到。有谁知道描述这个的参考？

— nekketsuuu
source

10

在德国维基百科声称，来自“秋波”，在德语中的意思是“空”。这似乎是合理的，因为德语曾经是数学中的主要语言之一。 $\lambda$

乔姆斯基在他的早期论文中将用作空字符串（或实际上用作字符串串联的标识元素）。组合语言中的某些人仍然使用作为空字符串，并具有相同的理由。 $I$ $1$

— 朱尼·西伦（JouniSirén）
source

2

当您通过代数定义正则表达式时，1特别好。1是空字符串，0是空语言，连接是

并且union是

，您将获得一个半环。

使事情变得更复杂。

\cdot

$\cdot$

+

$+$

*

$*$

— jmite '16

谢谢您的回答！这似乎是合理的，所以我正在寻找参考。由于Wikipedia的形式语言文章说FL的起源是Gottlob Frege的Begriffsschrift（1879），因此我今天阅读了它的翻译版本，但似乎没有使用λ表示法。Emil Post（1947）撰写的另一篇历史性论文《问题的递归不可解性》也没有。因此，我一直在寻找。无论如何，感谢您的大力帮助：）

— nekketsuuu

8

该表示法可能源自“芬兰学派”。

我的Arto Salomaa的“形式语言”副本（Academic Press，ACM专着系列，1973）使用 $\lambda$ 表示空字符串。他的1969年著作“自动机理论”（佩加蒙出版社）也是如此。

我们回去。经典的“有限自动机及其决策问题”由MO拉宾和D.Scott（1959年4月）有符号（资本）为“无符号的空白带”（其中一个磁带是符号的有限序列）。 $\Lambda$

$\Lambda$ $\land$ $\land p= p\land=p$

— 亨德里克·扬
source

4

Λ

$\Lambda$

Λ

$\Lambda$

Λ

$\Lambda$