Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id UAA25087 for <jharriso@ra.abo.fi>; Fri, 3 Nov 1995 20:04:56 +0200
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10)
	id KAA16914 for qed-out; Fri, 3 Nov 1995 10:06:58 -0600
Received: from chelm.cs.nmt.edu (chelm.cs.nmt.edu [129.138.6.50]) by antares.mcs.anl.gov (8.6.10/8.6.10)  with ESMTP
	id WAA08552 for <qed@mcs.anl.gov>; Thu, 2 Nov 1995 22:54:26 -0600
Received: (from yodaiken@localhost) by chelm.cs.nmt.edu (8.6.8.1/8.6.6) id VAA09882; Thu, 2 Nov 1995 21:59:45 -0700
Message-Id: <199511030459.VAA09882@chelm.cs.nmt.edu>
From: yodaiken@sphinx.cs.nmt.edu (Victor Yodaiken)
Date: Thu, 2 Nov 1995 21:59:45 -0700
In-Reply-To: Randall Holmes <holmes@catseye.idbsu.edu>
       "PRA implementation" (Nov  1,  9:32am)
reply_to: yodaiken@chelm.nmt.edu
X-Mailer: Mail User's Shell (7.2.5 10/14/92)
To: Randall Holmes <holmes@catseye.idbsu.edu>, qed@mcs.anl.gov
Subject: Re: PRA implementation
Sender: owner-qed@mcs.anl.gov
Precedence: bulk

On a related note: a paper called "Representations of Automata"
which  sketches some relationships between primitive recursive
functions and state machines can be found in

http://www.cs.nmt.edu/~yodaiken

Your comments appreciated.

Victor