sjf
diff --git a/‎eventlogic.scm‎
Lines changed: 0 additions & 4 deletions b/‎eventlogic.scm‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎imgs/constraint/all_strings_containing_offending_syms.png‎
21.6 KB b/‎imgs/constraint/all_strings_containing_offending_syms.png‎
21.6 KB
diff --git a/‎imgs/constraint/both_constraints.png‎
3.1 KB b/‎imgs/constraint/both_constraints.png‎
3.1 KB
diff --git a/‎imgs/constraint/completeness-constraints_must-have-one-of-a-b-or-inverses.png‎
5.93 KB b/‎imgs/constraint/completeness-constraints_must-have-one-of-a-b-or-inverses.png‎
5.93 KB
diff --git a/‎imgs/constraint/offending_syms.png‎
3.11 KB b/‎imgs/constraint/offending_syms.png‎
3.11 KB
diff --git a/‎imgs/constraint/result-nice.png‎
5.42 KB b/‎imgs/constraint/result-nice.png‎
5.42 KB
diff --git a/‎imgs/constraint/result.png‎
26.2 KB b/‎imgs/constraint/result.png‎
26.2 KB
diff --git a/‎imgs/constraint/results-for-a-b.png‎
5.44 KB b/‎imgs/constraint/results-for-a-b.png‎
5.44 KB
diff --git a/‎imgs/constraint/strings_we_shouldnt_accept_intsection_of_concat.png‎
26 KB b/‎imgs/constraint/strings_we_shouldnt_accept_intsection_of_concat.png‎
26 KB
diff --git a/‎pres1.odp‎
-647 Bytes b/‎pres1.odp‎
-647 Bytes
@@ -211,10 +211,6 @@
 ;;   (view (graph (dfa-complete-constraints *primitive-events*
 ;; 					 *inverses*)))
 ;;  (view (graph (dfa-consistent-universal-language)))
-  (view (graph (superposition
-		(nfa->dfa (nfa-concat (nfa-for-one-symbol (list 'a))
-				      (nfa-for-one-symbol (list 'b))))
-		(nfa->dfa (nfa-for-one-symbol (list 'a))))))
   (let loop ()
     (display "> ")
     (let ((s (read)))