From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2298 Path: news.gmane.org!not-for-mail From: Juergen Koslowski Newsgroups: gmane.science.mathematics.categories Subject: Re: Automata as Categories Date: Wed, 21 May 2003 09:19:30 +0200 (CEST) Message-ID: <200305210719.h4L7Jca01230@lxt5.iti.cs.tu-bs.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018557 3440 80.91.229.2 (29 Apr 2009 15:22:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:37 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed May 21 15:52:37 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 21 May 2003 15:52:37 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19IYg3-0006d4-00 for categories-list@mta.ca; Wed, 21 May 2003 15:51:03 -0300 X-Mailer: ELM [version 2.5 PL6] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 48 Original-Lines: 42 Xref: news.gmane.org gmane.science.mathematics.categories:2298 Archived-At: Steve Stevenson asked > 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. Dear Steve, I'd be interested in such pointers as well, especially since "classical automata theory" is a rather horrible mess. You may want to check out - Edwin Stewart Bainbridge's thesis "A unified minimal realization theory with duality", PhD Thesis, U. of Michigan, 1972. - R. Betti, "Automi e categorie chiuse" Boll. Un. Mat. Ital. A (5)\(1980), 44--58 - Kasangian, Kelly, and Rossi "Cofibrations and the realization of non-deterministic automata", Cahiers Topologie Geom. Diff. 24, 1 (1983), 23--46. Also, Mark William Hopkins presents some interesting ideas on his WEB-page . A pointer to the coalgebraic view of automata is Jan Rutten's page . You may want to start with "Automata and coinduction (an exercise in coalgebra). Technical Report SEN-R9803", which is available for downloading. Cheers, -- Juergen -- Juergen Koslowski If I don't see you no more on this world ITI, TU Braunschweig I'll meet you on the next one koslowj@iti.cs.tu-bs.de and don't be late! http://www.iti.cs.tu-bs.de/~koslowj Jimi Hendrix (Voodoo Child, SR)