summaryrefslogtreecommitdiff
path: root/assignments/assignment2/RivestShapir_hypothesis0.dot
diff options
context:
space:
mode:
authorErin van der Veen2017-10-16 15:14:00 +0200
committerErin van der Veen2017-10-16 15:14:00 +0200
commit4b2ff4fbc734b8849b58730a52281938c7d5c7e5 (patch)
tree9a1e541ad21b63343c96833cd89c5520276eb7d3 /assignments/assignment2/RivestShapir_hypothesis0.dot
parentArgue about coverage (diff)
Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses of Rivest Shapir
Diffstat (limited to 'assignments/assignment2/RivestShapir_hypothesis0.dot')
-rw-r--r--assignments/assignment2/RivestShapir_hypothesis0.dot12
1 files changed, 12 insertions, 0 deletions
diff --git a/assignments/assignment2/RivestShapir_hypothesis0.dot b/assignments/assignment2/RivestShapir_hypothesis0.dot
new file mode 100644
index 0000000..271810a
--- /dev/null
+++ b/assignments/assignment2/RivestShapir_hypothesis0.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+ s0 [shape="circle" label="0"];
+ s0 -> s0 [label="5ct / OK"];
+ s0 -> s0 [label="10ct / OK"];
+ s0 -> s0 [label="mars / NOK"];
+ s0 -> s0 [label="snickers / NOK"];
+ s0 -> s0 [label="twix / NOK"];
+
+__start0 -> s0;
+}