Jakie jest pochodzenie λ dla pustego łańcucha?

Zazwyczaj używam symbolu dla pustego łańcucha (pusty wyraz lub łańcuch pusty). Ale wiem, że niektórzy ludzie używają λ zamiast ε .$\varepsilon$$\lambda$$\varepsilon$

Myślę, że pochodzi od słowa „pusty”. Jednak nie wiem, skąd się bierze λ .$\varepsilon$$\lambda$

W teorii automatów istnieje przejście epsilon na automatach, a także mówi się, że jest to przejście lambda. Na przykład oprogramowanie JFLAP domyślnie używa do oznaczania przejść epsilon.$\lambda$

Poszukałem źródła i szukałem cs.stackexchange, ale nie mogłem znaleźć. Czy ktoś zna referencję, która to opisuje?

W Niemiecka Wikipedia twierdzi, że pochodzi od „Leer”, co oznacza „puste” w języku niemieckim. Wydaje się to prawdopodobne, ponieważ niemiecki był jednym z głównych języków matematyki.$\lambda$

W swoich wczesnych pracach Chomsky używał jako pustego łańcucha (a właściwie jako elementu tożsamości dla łączenia łańcuchów). Niektóre osoby w kombinatorykach nadal używają 1 jako pustego ciągu, z tym samym uzasadnieniem.$I$$1$

Prawdopodobnie zapis pochodzi z „szkoły fińskiej”.

$\lambda$

$\Lambda$

Jednym z pierwszych ludzi, którzy pisali na automatach skończonych, był Trakhtenbrot i użył symbolu podobnego do ale składu jako ∧ (jak w swojej książce z Barzdinem z 1970 r. Mój rosyjski jest kiepski, ale rozumiem$\Lambda$$\land$$\land p= p\land=p$