Re: Finite Automata and Category Theory
From: gowan (gowan4_at_hotmail.com)
Date: 10/03/04
- Next message: Bilge: "Re: A SR-cult fraud and corruption"
- Previous message: Randy Poe: "Re: Dirac-Delta function"
- In reply to: George Cox: "Re: Finite Automata and Category Theory"
- Next in thread: Robin: "Re: Finite Automata and Category Theory"
- Messages sorted by: [ date ] [ thread ]
Date: 3 Oct 2004 15:30:31 -0700
George Cox <george_coxanti@spambtinternet.com.invalid> wrote in message news:<41603D53.42A352A2@spambtinternet.com.invalid>...
> Eugene Bazarov wrote:
> >
> > Hello,
> >
> > I am interested in Finite Automata from the categorical
> > point of view. I was wondering if anyone can point me
> > towards a paper that discusses the category of FA. What
> > do the morphisms look like? How does the subcategory
> > of DFA sit in the category of NFA? What type of functor is
> > the minimal FA functor? etc etc. Please
> > don't point me towards Eilenberg's book. He makes a point
> > of not being very categorical. I want something more
> > up to date.
> >
> > Thanking you in advance,
> > E.V. Bazarov
>
> There is section 8.3 of Arbib & Manes, "Arrows, Structures, and
> Functors". Only 14 pages though.
Arbib and Manes wrote several research papers on this topic which can
be found easily enough on MathSciNet
- Next message: Bilge: "Re: A SR-cult fraud and corruption"
- Previous message: Randy Poe: "Re: Dirac-Delta function"
- In reply to: George Cox: "Re: Finite Automata and Category Theory"
- Next in thread: Robin: "Re: Finite Automata and Category Theory"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
