Skip to content

Commit

Permalink
Small change to README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
jpbarrette committed Feb 26, 2015
1 parent 8e2fb42 commit 9311008
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ The *FineNight* library contains many algorithms for Finite State Automatons. Th
* Construction of an IADFA from a sorted dictionary
* Graphviz support
* Error-Tolerant IADFA

Almost all algorithms were taken from the book *Introduction to Automata Theory, Languages, and Computation* [hopcroft01]. The minimization algorithm is an implementation of Brzozowski's method [<a href="#brzozowski">2</a>]. In this method, the (possibly non-deterministic) automaton is reversed, determinized, reversed and determinized. I'll eventually add the Hopcroft's nlog(n) minimization algorithm [<a href="#hopcroft">3</a>]

[John E. Hopcroft](http://www.cs.cornell.edu/Info/Department/Annual95/Faculty/Hopcroft.html), <a href="http://theory.stanford.edu/~rajeev/">Rajeev Motwani</a> and
Expand Down

0 comments on commit 9311008

Please sign in to comment.