1 files changed, 34 insertions, 0 deletions
diff --git a/3860/CH9/EX9.3/Ex9_3.txt b/3860/CH9/EX9.3/Ex9_3.txt
new file mode 100644
index 000000000..e4a26bd57
--- /dev/null
+++ b/3860/CH9/EX9.3/Ex9_3.txt
@@ -0,0 +1,34 @@
+ 
+ Given State Table
+
+ q |    x=0         x=1   |    z
+
+ --------------------------------
+
+ A |     C           D    |    1
+
+ B |     C           D    |    0
+
+ C |     B           D    |    1
+
+ D |     C           A    |    1
+
+ step 1 produces five SP Partitions
+
+ P1 = (AB)(C)(D)
+
+ P1 = (ABC)(D)
+
+ P1 = (AD)(B)(C)
+
+ P1 = (A)(BC)(D)
+
+ P1 = (ABD)(C)
+
+ P1 = (AB)(C)(D)
+
+ P1 = (AB)(C)(D)
+
+ The chart is different, because the pairings that are automatically X'd are different.
+
+ None of the conditions can be satisfied, and thus, no states can be combined and state table cannot  be reduced.
+\ No newline at end of file