Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.
4 Trakhtenbrot
source | link

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string. And so does his 1969 book 'Theory of Automata' (Pergamon Press).

We move back. The classic 'Finite Automata and Their Decision Problems' by M.O. Rabin and D.Scott (April 1959) have the notation (capital) $\Lambda$ for "the empty tape with no symbols" (where a tape is a finite sequence of symbols).

One of the early people to write on finite automata was Trakhtenbrot and he used a symbol much like $\Lambda$ but typeset as $\land$ (as in his book with Barzdin, 1970, my russian is lousy but I recognize $\land p= p\land=p$).

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string. And so does his 1969 book 'Theory of Automata' (Pergamon Press).

We move back. The classic 'Finite Automata and Their Decision Problems' by M.O. Rabin and D.Scott (April 1959) have the notation (capital) $\Lambda$ for "the empty tape with no symbols" (where a tape is a finite sequence of symbols).

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string. And so does his 1969 book 'Theory of Automata' (Pergamon Press).

We move back. The classic 'Finite Automata and Their Decision Problems' by M.O. Rabin and D.Scott (April 1959) have the notation (capital) $\Lambda$ for "the empty tape with no symbols" (where a tape is a finite sequence of symbols).

One of the early people to write on finite automata was Trakhtenbrot and he used a symbol much like $\Lambda$ but typeset as $\land$ (as in his book with Barzdin, 1970, my russian is lousy but I recognize $\land p= p\land=p$).

3 added 302 characters in body
source | link

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string. And so does his 1969 book 'Theory of Automata' (Pergamon Press).

We move back. The classic 'Finite Automata and Their Decision Problems' by M.O. Rabin and D.Scott (April 1959) have the notation (capital) $\Lambda$ for "the empty tape with no symbols" (where a tape is a finite sequence of symbols).

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string.

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string. And so does his 1969 book 'Theory of Automata' (Pergamon Press).

We move back. The classic 'Finite Automata and Their Decision Problems' by M.O. Rabin and D.Scott (April 1959) have the notation (capital) $\Lambda$ for "the empty tape with no symbols" (where a tape is a finite sequence of symbols).

2 added link to Salomaa in wikipedia.
source | link

Probably the notation originates from the "Finnish school".

My copy of Formal Languages'Formal Languages' by Arto SalomaaArto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string.

Probably the notation originates from the "Finnish school".

My copy of Formal Languages by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string.

Probably the notation originates from the "Finnish school".

My copy of 'Formal Languages' by Arto Salomaa (Academic Press, ACM monograph series, 1973) uses $\lambda$ for the empty string.

1
source | link