summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.10/Ex9_10.txt
diff options
context:
space:
mode:
Diffstat (limited to '3860/CH9/EX9.10/Ex9_10.txt')
-rw-r--r--3860/CH9/EX9.10/Ex9_10.txt26
1 files changed, 26 insertions, 0 deletions
diff --git a/3860/CH9/EX9.10/Ex9_10.txt b/3860/CH9/EX9.10/Ex9_10.txt
new file mode 100644
index 000000000..05eb8681e
--- /dev/null
+++ b/3860/CH9/EX9.10/Ex9_10.txt
@@ -0,0 +1,26 @@
+
+ Given State Table
+
+ q | x=0 x=1 | z
+
+ --------------------------------
+
+ A | C D | 0
+
+ B | D A | 1
+
+ C | E D | 0
+
+ D | B A | 0
+
+ E | C D | 0
+
+ States A-C-E and B-D are equivalent
+
+ q | x=0 x=1 | z
+
+ ------------------------------------
+
+ A | A B | 0
+
+ B | B A | 1 \ No newline at end of file