diff options
| author | prashantsinalkar | 2017-10-10 12:27:19 +0530 |
|---|---|---|
| committer | prashantsinalkar | 2017-10-10 12:27:19 +0530 |
| commit | 7f60ea012dd2524dae921a2a35adbf7ef21f2bb6 (patch) | |
| tree | dbb9e3ddb5fc829e7c5c7e6be99b2c4ba356132c /3860/CH9/EX9.3/Ex9_3.txt | |
| parent | b1f5c3f8d6671b4331cef1dcebdf63b7a43a3a2b (diff) | |
| download | Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.tar.gz Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.tar.bz2 Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.zip | |
initial commit / add all books
Diffstat (limited to '3860/CH9/EX9.3/Ex9_3.txt')
| -rw-r--r-- | 3860/CH9/EX9.3/Ex9_3.txt | 34 |
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 |