[Haskell-cafe] DFAs and self-referential data

Jason Dagit dagit at codersbase.com
Tue Dec 28 13:26:07 CET 2010

On Tue, Dec 28, 2010 at 3:09 AM, <oleg at okmij.org> wrote:

> Maxime Henrion wrote:
> > I've been playing with some code to work with DFAs, but I'm now faced
> > with an implementation problem.  In order to have states that can
> > transition to themselves, it seems I would need self-referential data;
> > otherwise I would need to separate those transitions from the rest and
> > handle them specially in the code.
> Perhaps an old article
>        http://okmij.org/ftp/misc.html#ccard-transform
> might be of some help. The article describes not only running a finite
> automaton (represented as a cyclic graph) on given input but also
> printing the automaton out and determinizing it: converting NFA to an
> equivalent DFA. The latter operation converts one cyclic graph to
> another.

That link was a 404 for me.  I think you meant this link:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20101228/bc276dfb/attachment.htm>

More information about the Haskell-Cafe mailing list