diff options
Diffstat (limited to '3860/CH9/EX9.11/Ex9_11.txt')
| -rw-r--r-- | 3860/CH9/EX9.11/Ex9_11.txt | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/3860/CH9/EX9.11/Ex9_11.txt b/3860/CH9/EX9.11/Ex9_11.txt new file mode 100644 index 000000000..66f5d3a2a --- /dev/null +++ b/3860/CH9/EX9.11/Ex9_11.txt @@ -0,0 +1,32 @@ +
+ Given State Table
+
+ q | x=0 x=1 | z
+
+ --------------------------------
+
+ A | B E | 0
+
+ B | D A | 1
+
+ C | G A | 0
+
+ D | F G | 1
+
+ E | B C | 0
+
+ F | D G | 1
+
+ G | D E | 1
+
+ The SP partition is also ouput consistent. The smallest equivalent system is given below
+
+ q | x=0 x=1 | z
+
+ ------------------------------------
+
+ A | B A | 0
+
+ B | D A | 1
+
+ D | D B | 1
\ No newline at end of file |