model for partial TTT learning

diff --git a/a4/tcp/learnedModel.partial.TTT.wp.dot b/a4/tcp/learnedModel.partial.TTT.wp.dot
new file mode 100644 (file)
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 (file)
--- 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(