빈 문자열의 λ 원점은 무엇입니까?

14

나는 보통 빈 문자열 (빈 단어 또는 null 문자열)에 기호를 사용합니다 . 그러나 일부 사람들 은 대신 를 사용 한다는 것을 알고 있습니다 . $\varepsilon$ $\lambda$ $\varepsilon$

은 "빈"이라는 단어에서 파생 된 것 같습니다 . 그러나 나는 의 기원이 무엇인지 모른다 . $\varepsilon$ $\lambda$

오토마타 이론에는 오토마타의 엡실론 전이가 있으며 람다 전이라고도합니다. 예를 들어, JFLAP 소프트웨어는 기본적으로 엡실론 전환 레이블에 를 사용합니다 . $\lambda$

출처를 검색하고 cs.stackexchange를 검색했지만 찾을 수 없습니다. 누구든지 이것을 설명하는 참조를 알고 있습니까?

— 네 케츠 치
소스

10

독일어 위키 백과의 주장 수단 독일어로 "비우기" "곁눈질"에서 비롯됩니다. 독일어가 수학의 주요 언어 중 하나였던 것처럼 그것은 그럴듯 해 보입니다. $\lambda$

촘스키가 사용 빈 문자열로 (또는 실제로 문자열 연결에 대한 정체성 요소로) 그의 초기 논문한다. 조합론의 일부 사람들은 여전히 똑같은 정당화를 사용 하여 빈 문자열로 을 사용 합니다. $I$ $1$

— 주니 시렌
소스

2

1은 정규식을 대수적으로 정의 할 때 특히 좋습니다. 1은 빈 문자열, 0은 빈 언어, 연결은

, Union은

이며 세미 링을 얻습니다.

하지만 조금 더 복잡합니다.

\cdot

$\cdot$

+

$+$

*

$*$

— jmite

답변 감사합니다! 그럴듯한 것 같아서 참조를 찾고 있습니다. Wikipedia의 공식 언어 기사에서 FL의 기원은 Gottlob Frege의 Begriffsschrift (1879) 라고 말하고 있기 때문에 오늘 번역본을 읽었지만 λ 표기법을 사용하지 않는 것 같습니다. 또 다른 역사적 논문 인 Emil Post (1947) 의 Thue 문제에 대한 재귀 적 해석도 마찬가지이다. 따라서 계속 검색합니다. 어쨌든, 큰 도움을 주셔서 감사합니다 :)

— nekketsuuu

8

아마도이 표기법은 "핀란드 학교"에서 유래 한 것입니다.

$\lambda$

$\Lambda$

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

— 헨드릭 얀
소스

4

Λ

$\Lambda$

Λ

$\Lambda$

Λ

$\Lambda$