Quelle est l'origine de λ pour une chaîne vide?

14

J'utilise habituellement le symbole pour une chaîne vide (mot vide ou chaîne nulle). Mais je sais que certaines personnes utilisent au lieu de . $\varepsilon$ $\lambda$ $\varepsilon$

Je pense que est dérivé du mot "vide". Cependant, je ne sais pas quelle est l'origine de . $\varepsilon$ $\lambda$

Dans la théorie des automates, il y a la transition epsilon des automates, et on dit également que c'est la transition lambda. Par exemple, le logiciel JFLAP utilise pour le libellé des transitions epsilon par défaut. $\lambda$

J'ai cherché sur l'origine et recherché cs.stackexchange, mais je n'ai pas pu trouver. Quelqu'un connaît-il une référence qui décrit cela?

— nekketsuuu
source

10

Le Wikipédia allemand prétend que vient de "leer", ce qui signifie "vide" en allemand. Cela semble plausible, car l'allemand était l'une des principales langues mathématiques. $\lambda$

Chomsky a utilisé comme chaîne vide (ou en fait comme élément d'identité pour la concaténation de chaîne) dans ses premiers articles. Certaines personnes en combinatoire utilisent toujours comme chaîne vide, avec la même justification. $I$ $1$

— Jouni Sirén
source

2

1 est particulièrement agréable lorsque vous définissez des expressions régulières algébriquement. 1 est la chaîne vide, 0 est la langue vide, la concaténation est

et l'union est

, et vous obtenez un semi-anneau.

rend les choses un peu plus compliquées.

\cdot

$\cdot$

+

$+$

*

$*$

— jmite

Merci pour la réponse! Cela semble plausible, donc je cherche la référence. Étant donné que l'article du langage formel de Wikipedia dit que l'origine de FL est Begriffsschrift de Gottlob Frege (1879), j'en ai lu la version traduite aujourd'hui, mais il ne semble pas utiliser la notation λ. Un autre article historique sur l' insolvabilité récursive d'un problème de Thue d'Emil Post (1947) ne le fait pas non plus. Par conséquent, je continue de chercher. Quoi qu'il en soit, merci pour la grande aide :)

— nekketsuuu

8

La notation provient probablement de "l'école finlandaise".

$\lambda$

$\Lambda$

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

— Hendrik Jan
source

4

Λ

$\Lambda$

Λ

$\Lambda$

Λ

$\Lambda$