diff options
Diffstat (limited to '3860/CH9/EX9.10/Ex9_10.txt')
-rw-r--r-- | 3860/CH9/EX9.10/Ex9_10.txt | 26 |
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 |