From wand@ccs.neu.edu Thu Feb 5 11:02:44 1998 Received: from delphi.ccs.neu.edu (wand@delphi.ccs.neu.edu [129.10.112.101]) by amber.ccs.neu.edu (8.8.6/8.8.6) with ESMTP id LAA29018; Thu, 5 Feb 1998 11:02:43 -0500 (EST) Received: (from wand@localhost) by delphi.ccs.neu.edu (8.8.6/8.8.6) id LAA22073; Thu, 5 Feb 1998 11:02:42 -0500 (EST) Date: Thu, 5 Feb 1998 11:02:42 -0500 (EST) Message-Id: <199802051602.LAA22073@delphi.ccs.neu.edu> From: Mitchell Wand MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: johan@ccs.neu.edu, ozmez@ccs.neu.edu, lieber@ccs.neu.edu Subject: Progress on traversal automata X-Mailer: VM 6.31 under Emacs 19.34.1 Status: R In /proj/wand/lieber/traversals look at v3.scm -- same traversal model, but with a nice self-contained language test1.scm -- example (red/blue trees) in this language. --Mitch