home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / theory / cellaut / 548 < prev    next >
Encoding:
Internet Message Format  |  1992-11-21  |  675 b 
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!uwm.edu!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!andrew.cmu.edu!cy0q+
  2. From: cy0q+@andrew.cmu.edu (Chad O. Yoshikawa)
  3. Newsgroups: comp.theory.cell-automata
  4. Subject: DFA/NFA verification
  5. Message-ID: <8f3oX1G00WBOI0YVIm@andrew.cmu.edu>
  6. Date: 21 Nov 92 22:45:53 GMT
  7. Article-I.D.: andrew.8f3oX1G00WBOI0YVIm
  8. Organization: Junior, Electrical and Computer Engineering, Carnegie Mellon, Pittsburgh, PA
  9. Lines: 8
  10.  
  11. ...
  12. Does anyone have a program (for Mac, Unix (DEC,sun) or even 
  13. SGI, any other platform) that will do DFA/NFA/regular expression
  14. verification, transforms, etc?  
  15.  
  16. Thanks in advance,
  17.  
  18. Chad
  19.