From 5a6b7f26a4d6e4c9949cf930fe39a5eb6fc9e6d5 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Barrette-LaPierre Date: Thu, 26 Feb 2015 17:58:52 +0800 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 12f5a89..9be287f 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ The *FineNight* library contains many algorithms for Finite State Automatons. Th * Graphviz support * Error-Tolerant IADFA -Almost all algorithms were taken from the book [Introduction to Automata Theory, Languages, and Computation][1]. The minimization algorithm is an implementation of Brzozowski's method [2]. 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 [3] +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 [2]. 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 [3] -[1]: [John E. Hopcroft](http://www.cs.cornell.edu/Info/Department/Annual95/Faculty/Hopcroft.html), Rajeev Motwani and +[John E. Hopcroft](http://www.cs.cornell.edu/Info/Department/Annual95/Faculty/Hopcroft.html), Rajeev Motwani and Jefferey D. Ullman, Introduction to Automata Theory, Languages and Computation, 2nd edition, Adison-Wesley, 2001.