Nguồn gốc của λ cho chuỗi rỗng là gì?

Tôi thường sử dụng ký hiệu cho chuỗi rỗng (từ trống hoặc chuỗi rỗng). Nhưng tôi biết một số người sử dụng λ thay vì ε .$\varepsilon$$\lambda$$\varepsilon$

Tôi nghĩ có nguồn gốc từ chữ "Empty". Tuy nhiên tôi không biết nguồn gốc của những gì λ .$\varepsilon$$\lambda$

Trong lý thuyết automata, có sự chuyển đổi epsilon của automata và nó cũng được gọi là quá trình chuyển đổi lambda. Ví dụ, JFLAP sử dụng phần mềm cho nhãn của chuyển epsilon theo mặc định.$\lambda$

Tôi đã tìm hiểu về nguồn gốc và tìm kiếm cs.stackexchange, nhưng tôi không thể tìm thấy. Có ai biết một tài liệu tham khảo mô tả điều này?

Các Đức Wikipedia tuyên bố rằng xuất phát từ "Leer", mà có nghĩa là "trống rỗng" trong tiếng Đức. Điều đó có vẻ hợp lý, vì tiếng Đức từng là một trong những ngôn ngữ chính trong toán học.$\lambda$

Chomsky đã sử dụng làm chuỗi rỗng (hoặc thực sự là yếu tố nhận dạng để nối chuỗi) trong các bài báo đầu tiên của mình. Một số người trong tổ hợp vẫn sử dụng 1 làm chuỗi rỗng, với cùng lý do.$I$$1$

Có lẽ ký hiệu bắt nguồn từ "trường phái Phần Lan".

Bản sao của tôi về 'Ngôn ngữ chính thức' bởi Arto Salomaa (Academic Press, ACM loạt chuyên khảo, 1973) sử dụng cho chuỗi rỗng. Và cuốn sách 'Theory of Automata' năm 1969 (Pergamon Press) cũng vậy.$\lambda$

Chúng tôi di chuyển trở lại. Cổ điển 'hữu hạn Máy tự động và Quyết định vấn đề của họ bằng cách MO Rabin và D.Scott (April 1959) có các ký hiệu (vốn) cho "băng trống rỗng không có biểu tượng" (nơi một băng là một dãy hữu hạn các biểu tượng).$\Lambda$

Một trong những người đầu tiên viết về automata hữu hạn là Trakhtenbrot và anh ta đã sử dụng một biểu tượng giống như nhưng đánh máy là ∧ (như trong cuốn sách của anh ta với Barzdin, 1970, tiếng Nga của tôi rất tệ nhưng tôi nhận ra ∧ p = p ∧ = p ).$\Lambda$$\land$$\land p= p\land=p$