Path: utzoo!attcan!uunet!husc6!mailrus!ames!necntc!encore!bzs
From: bzs@encore.UUCP (Barry Shein)
Newsgroups: comp.unix.wizards
Subject: Re: what should egrep '|root' /etc/passwd print?
Message-ID: <3623@encore.UUCP>
Date: 18 Sep 88 16:11:01 GMT
References: <44414@beno.seismo.CSS.GOV> <68203@sun.uucp> <8202@alice.UUCP> <410@quintus.UUCP> <8209@alice.UUCP>
Organization: Encore Computer Corp, Marlboro, MA
Lines: 21
In-reply-to: andrew@alice.UUCP's message of 16 Sep 88 21:51:14 GMT


Just to add some history to the discussion:

From "The SNOBOL4 Programming Language", Griswold et al, Section 2.6
pp. 35:

"2.6 The Null String in Pattern Matching

The null string is the string of zero length. Attempts by the scanner
to match the null string always succeed...Pattern matching in the
statement

	STR NULL			:S(ON)F(ERROR)

always succeeds, even if STR itself has the null string as value."

Perhaps the SNOBOL crew could be consulted for their original
reasoning. I suspect there is a reasonable set-theoretic argument
which can be made (e.g. the null set is the subset of all other sets.)

	-Barry Shein, ||Encore||