From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,955fad43713fdf44 X-Google-Attributes: gid103376,public From: jsa@organon.com (Jon S Anthony) Subject: Re: NFA to DFA Date: 1996/05/14 Message-ID: #1/1 X-Deja-AN: 154831738 sender: news@organon.com (news) references: <4n1its$rtt@news2.h1.usa.pipeline.com> organization: Organon Motives, Inc. newsgroups: comp.lang.ada Date: 1996-05-14T00:00:00+00:00 List-Id: In article <31987C20.167EB0E7@escmail.orl.mmc.com> "Theodore E. Dennison" writes: > Being an old Modula-2 programmer (where Sets are basic structure types, > like records), I have several times sat down to implement a generic > SET ADT package. Every time, I have discovered that arrays of boolean > give me exactly what I want with one simple type declaration. This > is because Ada defines the boolean operators AND and OR to work on > ARRAYS of boolean in a bitwise fashion. So why bother with some fancy > generic ADT package (that might have bugs)? Simple. If the universe over which you can construct sets is "big", but the sets themselves are typically not "so big" relative to the universe (the cardinality of the compliment of any set >> cardinality of the set - at least typically...) then the array of boolean impl. offers poor quality of service (maybe not even plausible...). Also, in Ada95, another reason is to allow a kind of dynamic QOS based on universe size. I suppose this latter wouldn't be so much "generic" as "abstract". Lest you think this is not very plausible to occur ("too big" universe), just think of "wide characters". /Jon -- Jon Anthony Organon Motives, Inc. 1 Williston Road, Suite 4 Belmont, MA 02178 617.484.3383 jsa@organon.com