From 164d9c57da89c4c8867e58b56eb6ebbcb0d33878 Mon Sep 17 00:00:00 2001 From: Stathis Kamperis Date: Sat, 22 Mar 2008 01:03:59 +0200 Subject: [PATCH] Update TODO file --- unix/fsm/TODO | 2 ++ 1 file changed, 2 insertions(+) diff --git a/unix/fsm/TODO b/unix/fsm/TODO index e58f46c..fa0b53a 100644 --- a/unix/fsm/TODO +++ b/unix/fsm/TODO @@ -3,3 +3,5 @@ TODO LIST * Add self consistency checks * Add locking for synchronization issues * Test case with threads +* Add suupport for equivalence testing and minimization +( http://www.cag.lcs.mit.edu/6.004/Lectures/lect6/sld013.htm ) \ No newline at end of file -- 2.11.4.GIT