home *** CD-ROM | disk | FTP | other *** search
/ cs.rhul.ac.uk / www.cs.rhul.ac.uk.zip / www.cs.rhul.ac.uk / pub / CS375 / tickets.csp < prev    next >
Text File  |  1999-01-18  |  211b  |  8 lines
  1. channel on, off, staines, ashford, pound, ticket
  2.  
  3. MACHINE = on -> TICKETS
  4.  
  5. TICKETS =   staines -> pound -> ticket -> TICKETS
  6.          [] ashford -> pound -> pound -> ticket -> TICKETS
  7.          [] off -> MACHINE
  8.