Boş dize için λ'nın kökeni nedir?

14

Genellikle boş dizgi (boş sözcük veya boş dize) için sembolünü kullanırım . Ama bazı insanların yerine kullandığını biliyorum . $\varepsilon$ $\lambda$ $\varepsilon$

Ben "Boş" kelimesinden türetilmiştir düşünüyorum . Ancak kökeni nedir bilmiyorum . $\varepsilon$ $\lambda$

Otomata teorisinde, otomatanın epsilon geçişi vardır ve bunun da lambda geçişi olduğu söylenir. Örneğin, JFLAP yazılımı varsayılan olarak epsilon geçişlerinin etiketi için kullanır . $\lambda$

Kökeni araştırdım ve cs.stackexchange'i aradım, ama bulamadım. Bunu tanımlayan bir referans bilen var mı?

— nekketsuuu
kaynak

10

Alman Vikipedi iddialar olduğunu araçlarının Almanca'da "boş" "leer" gelmektedir. Almanca'nın matematikteki en önemli dillerden biri olduğu için bu mantıklı görünüyor. $\lambda$

Chomsky kullanılan boş dize olarak (veya aslında dize Ulama için kimlik öğesi olarak) onun erken gazetelerde. Kombinatorikteki bazı insanlar hala aynı dize ile boş dize olarak kullanırlar . $I$ $1$

— Jouni Sirén
kaynak

2

1, Normal İfadeleri cebirsel olarak tanımlarken özellikle iyidir. 1 boş dizedir, 0 boş dildir, birleştirme ve birleşim ve bir Yarı halka alırsınız. işleri biraz daha karmaşık hale getirir.

\cdot

$\cdot$

+

$+$

*

$*$

— jmite

Cevap için teşekkür ederim! Makul gibi görünüyor, bu yüzden referansı arıyorum. Yana Wikipedia'nın Biçimsel Dil makale diyor FL kökeni Gottlob Frege en olduğunu Begriffsschrift (1879), bugün bunun çevrilmiş halini okumak, ama λ notasyonu kullanmak görünmüyor. Başka bir tarihsel makale Emil Post (1947) tarafından bir Sorun Sorun özyinelemeyi Çözülemez de değildir. Bu yüzden aramaya devam ediyorum. Her neyse, büyük yardım için teşekkürler :)

— nekketsuuu

8

Muhtemelen gösterim "Fin okulundan" kaynaklanmaktadır.

Arto Salomaa'nın (Academic Press, ACM monograph serisi, 1973) 'Resmi Diller' kopyam , boş dize için kullanıyor . 1969 tarihli 'Automata Teorisi' kitabı da (Pergamon Press). $\lambda$

Geri dönüyoruz. MO Rabin ve D.Scott'un (Nisan 1959) klasik 'Sonlu Otomataları ve Karar Sorunları', "sembol içermeyen boş bant" (kasetin sonlu bir sembol dizisi olduğu) için " " göstergesine sahiptir. $\Lambda$

Sonlu otomata yazacak ilk insanlardan biri Trakhtenbrot'du ve gibi çok sembol kullandı ama olarak dizildi (Barzdin, 1970'teki kitabında olduğu gibi, ruscam berbat ama ). $\Lambda$ $\land$ $\land p= p\land=p$

— Hendrik Jan
kaynak

4

IIRC, Principia Mathematica'da (1910 civarı) Russell boş küme için kullandı . Bunun bir şekilde ilişkili olup olmadığı hakkında hiçbir fikrim yok.

Λ

$\Lambda$

— chi

@chi Knuth kitapları nil-pointer için kullanıyor . "hiçbir şey" anlamına gelmediği bir tarihi olmalıdır . Almancada "Leer" anlamına geldiği veya boş olduğu öne sürülen diğer cevapla ilgili olabilir.

Λ

$\Lambda$

Λ

$\Lambda$

— Hendrik Ocak