From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2299 Path: news.gmane.org!not-for-mail From: "Keith Harbaugh" Newsgroups: gmane.science.mathematics.categories Subject: Re: Automata as Categories Date: Thu, 22 May 2003 01:36:09 +0000 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; format=flowed X-Trace: ger.gmane.org 1241018558 3442 80.91.229.2 (29 Apr 2009 15:22:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:38 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu May 22 11:13:08 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 22 May 2003 11:13:08 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19IqjH-0004ZL-00 for categories-list@mta.ca; Thu, 22 May 2003 11:07:35 -0300 X-Originating-IP: [158.59.27.31] X-Originating-Email: [harbaugh_keith@hotmail.com] X-OriginalArrivalTime: 22 May 2003 01:36:10.0390 (UTC) FILETIME=[85D5A360:01C32002] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 49 Original-Lines: 40 Xref: news.gmane.org gmane.science.mathematics.categories:2299 Archived-At: A textbook (unfortunately long out of print) that seems quite suitable in both content and level to your need is: Ehrig, Kiermeier, Kreowski and K\:uhnel Universal Theory of Automata Teubner, 1974, 240pp. Also, in response Juergen's remark that "classical automata theory" is a rather horrible mess, one most distinguished categorist evidently agreed with him and responded by writing two ~400 page books on the subject: Samuel Eilenberg Automata, Languages and Machines Academic Press, 1974 and 1976. They make no explicit use of categorical notions nor language, but considering the author and date the categorical spirit surely prevails. Note also his book with Elgot on Recursiveness. Best, Keith >From: Steve Stevenson >To: categories@mta.ca >Subject: categories: Automata as Categories >Date: Tue, 20 May 2003 11:15:23 -0400 (EDT) >I am interested to find an article or book that is a category- >theoretic redevelopment of "classical" automata. I'd like to find >something that graduate students could use if they had already had an >automata course and now would retrace that same development using >category-theoretic vocabulary and means.