From 21f8b798aaecbc35885697f24ca3deb4fe8adc5d Mon Sep 17 00:00:00 2001
From: charlie <charlie@gerhardus.com>
Date: Mon, 25 Jan 2016 12:22:23 +0100
Subject: [PATCH] model for partial TTT learning

---
 a4/tcp/learnedModel.partial.TTT.wp.dot | 98 ++++++++++++++++++++++++++
 a4/tcp/tester/learner/Main.java        |  2 +-
 2 files changed, 99 insertions(+), 1 deletion(-)
 create mode 100644 a4/tcp/learnedModel.partial.TTT.wp.dot

diff --git a/a4/tcp/learnedModel.partial.TTT.wp.dot b/a4/tcp/learnedModel.partial.TTT.wp.dot
new file mode 100644
index 0000000..271bd50
--- /dev/null
+++ b/a4/tcp/learnedModel.partial.TTT.wp.dot
@@ -0,0 +1,98 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+	s0 [shape="circle" label="s0"];
+	s1 [shape="circle" label="s1"];
+	s2 [shape="circle" label="s2"];
+	s3 [shape="circle" label="s3"];
+	s4 [shape="circle" label="s4"];
+	s5 [shape="circle" label="s5"];
+	s6 [shape="circle" label="s6"];
+	s7 [shape="circle" label="s7"];
+	s8 [shape="circle" label="s8"];
+	s9 [shape="circle" label="s9"];
+	s10 [shape="circle" label="s10"];
+	s11 [shape="circle" label="s11"];
+	s12 [shape="circle" label="s12"];
+	s13 [shape="circle" label="s13"];
+	s14 [shape="circle" label="s14"];
+	s15 [shape="circle" label="s15"];
+	s16 [shape="circle" label="s16"];
+	s17 [shape="circle" label="s17"];
+	s18 [shape="circle" label="s18"];
+	s19 [shape="circle" label="s19"];
+	s20 [shape="circle" label="s20"];
+	s21 [shape="circle" label="s21"];
+	s22 [shape="circle" label="s22"];
+	s0 -> s1 [label="SYN / SYN-ACK"];
+	s0 -> s0 [label="ACK / TO"];
+	s0 -> s0 [label="DAT / TO"];
+	s1 -> s1 [label="SYN / SYN-ACK"];
+	s1 -> s3 [label="ACK / TO"];
+	s1 -> s2 [label="DAT / ACK"];
+	s2 -> s4 [label="SYN / DATA"];
+	s2 -> s6 [label="ACK / TO"];
+	s2 -> s12 [label="DAT / DATA"];
+	s3 -> s13 [label="SYN / TO"];
+	s3 -> s3 [label="ACK / TO"];
+	s3 -> s17 [label="DAT / ACK"];
+	s4 -> s4 [label="SYN / DATA"];
+	s4 -> s8 [label="ACK / ACK"];
+	s4 -> s5 [label="DAT / ACK"];
+	s5 -> s16 [label="SYN / TO"];
+	s5 -> s5 [label="ACK / TO"];
+	s5 -> s5 [label="DAT / TO"];
+	s6 -> s7 [label="SYN / TO"];
+	s6 -> s10 [label="ACK / TO"];
+	s6 -> s5 [label="DAT / ACK"];
+	s7 -> s7 [label="SYN / TO"];
+	s7 -> s5 [label="ACK / ACK"];
+	s7 -> s5 [label="DAT / ACK"];
+	s8 -> s18 [label="SYN / DATA"];
+	s8 -> s9 [label="ACK / DATA"];
+	s8 -> s9 [label="DAT / DATA"];
+	s9 -> s7 [label="SYN / DATA"];
+	s9 -> s10 [label="ACK / TO"];
+	s9 -> s5 [label="DAT / ACK"];
+	s10 -> s7 [label="SYN / TO"];
+	s10 -> s11 [label="ACK / TO"];
+	s10 -> s5 [label="DAT / ACK"];
+	s11 -> s7 [label="SYN / TO"];
+	s11 -> s15 [label="ACK / TO"];
+	s11 -> s5 [label="DAT / ACK"];
+	s12 -> s18 [label="SYN / TO"];
+	s12 -> s14 [label="ACK / TO"];
+	s12 -> s20 [label="DAT / DATA"];
+	s13 -> s13 [label="SYN / TO"];
+	s13 -> s3 [label="ACK / TO"];
+	s13 -> s2 [label="DAT / ACK"];
+	s14 -> s7 [label="SYN / TO"];
+	s14 -> s10 [label="ACK / TO"];
+	s14 -> s15 [label="DAT / ACK"];
+	s15 -> s7 [label="SYN / TO"];
+	s15 -> s15 [label="ACK / TO"];
+	s15 -> s15 [label="DAT / TO"];
+	s16 -> s16 [label="SYN / TO"];
+	s16 -> s5 [label="ACK / ACK"];
+	s16 -> s5 [label="DAT / TO"];
+	s17 -> s17 [label="SYN / TO"];
+	s17 -> s17 [label="ACK / TO"];
+	s17 -> s17 [label="DAT / TO"];
+	s18 -> s7 [label="SYN / TO"];
+	s18 -> s19 [label="ACK / ACK"];
+	s18 -> s19 [label="DAT / ACK"];
+	s19 -> s7 [label="SYN / TO"];
+	s19 -> s22 [label="ACK / ACK"];
+	s19 -> s12 [label="DAT / DATA"];
+	s20 -> s21 [label="SYN / TO"];
+	s20 -> s3 [label="ACK / TO"];
+	s20 -> s20 [label="DAT / DATA"];
+	s21 -> s21 [label="SYN / TO"];
+	s21 -> s7 [label="ACK / TO"];
+	s21 -> s18 [label="DAT / ACK"];
+	s22 -> s7 [label="SYN / TO"];
+	s22 -> s14 [label="ACK / DATA"];
+	s22 -> s14 [label="DAT / DATA"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/tester/learner/Main.java b/a4/tcp/tester/learner/Main.java
index 4d25e54..fa9c649 100644
--- a/a4/tcp/tester/learner/Main.java
+++ b/a4/tcp/tester/learner/Main.java
@@ -153,7 +153,7 @@ public class Main {
 			case 1:
 				inputAlphabet = new SimpleAlphabet<String>(ImmutableSet.of(
 					"SYN", "ACK",
-					"RST"));
+					"DAT"));
 			break;
 			default:
 				inputAlphabet = new SimpleAlphabet<String>(ImmutableSet.of(
-- 
2.20.1