From mboxrd@z Thu Jan 1 00:00:00 1970 From: toby@telegraphics.com.au (Toby Thain) Date: Sun, 9 Jul 2017 19:43:14 -0400 Subject: [TUHS] Regular Expressions (was Re: origin of the name 'glob') In-Reply-To: <20170709223610.8A00D124AE9F@mail.bitblocks.com> References: <20170709223610.8A00D124AE9F@mail.bitblocks.com> Message-ID: <8294e097-79d1-3d7b-1d71-80dbbda7c753@telegraphics.com.au> On 2017-07-09 6:36 PM, Bakul Shah wrote: > On Sun, 09 Jul 2017 22:08:45 -0000 ron minnich wrote: >> >> On Sun, Jul 9, 2017 at 3:06 PM Steve Johnson 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 * > > 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! > Last time I transcribed a paper I found typos in the original, so this isn't without value if done carefully, but it would be more useful to posterity if they made the transcribed source code public (e.g. github). --T