summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.1/Ex9_1.txt
diff options
context:
space:
mode:
Diffstat (limited to '3860/CH9/EX9.1/Ex9_1.txt')
-rw-r--r--3860/CH9/EX9.1/Ex9_1.txt26
1 files changed, 26 insertions, 0 deletions
diff --git a/3860/CH9/EX9.1/Ex9_1.txt b/3860/CH9/EX9.1/Ex9_1.txt
new file mode 100644
index 000000000..9483bb1e7
--- /dev/null
+++ b/3860/CH9/EX9.1/Ex9_1.txt
@@ -0,0 +1,26 @@
+
+ Given State Table
+
+ q | x=0 x=1 | x=0 x=1
+
+ -----------------------------------------
+
+ A | C B | 0 0
+
+ B | D D | 0 0
+
+ C | A D | 0 1
+
+ D | A C | 0 1
+
+ State C and D are equivalent. So, reduced state table is as given below.
+
+ q | x=0 x=1 | x=0 x=1
+
+ ----------------------------------------------
+
+ A | C-D B | 0 0
+
+ B | C-D C-D | 0 0
+
+ C-D | A C-D | 0 1