fsm demo

vcanumalla · Oct 4, 2014 · c5e1657 · c5e1657
1 parent 4ddc38c
commit c5e1657
Showing 1 changed file with 6 additions and 8 deletions.
diff --git a/sdsl/fsm/demo.rkt b/sdsl/fsm/demo.rkt
@@ -23,11 +23,9 @@
    [end  : ]))
 
 ; example commands 
-;(m '(c a r)) 
-;(m '(c d r))
-;(m '(c a d a r))
-;(verify-automaton m #px"^c[ad]+r$")
-;(debug-automaton m #px"^c[ad]+r$" '(c r))
-;(synthesize-automaton M #px"^c[ad]+r$")
-
-(viz m)
+(m '(c a r)) 
+(m '(c d r))
+(m '(c a d a r))
+(verify-automaton m #px"^c[ad]+r$")
+(debug-automaton m #px"^c[ad]+r$" '(c r))
+(synthesize-automaton M #px"^c[ad]+r$")