10 Jul
2017
10 Jul
'17
4:08 a.m.
On Sun, Jul 9, 2017 at 3:06 PM Steve Johnson <scj(a)yaccman.com> wrote:
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 *
ron