10 Jul
2017
10 Jul
'17
4:36 a.m.
On Sun, 09 Jul 2017 22:08:45 -0000 ron minnich <rminnich(a)gmail.com> wrote:
On Sun, Jul 9, 2017 at 3:06 PM Steve Johnson <scj(a)yaccman.com> wrote:
For the curious, here is Kleene's paper:
http://www.dlsi.ua.es/~mlf/nnafmc/papers/kleene56representation.pdf
Kudos to whoever retyped the paper in TeX!
The earliest reference is a paper by Kleene in 1956. In fact, I recall
that * was sometimes called "the Kleene star" in the day...
that's how they taught it to me: Kleene closure or Kleene *