From 3b3f2e4ccfed3a63e9f815f379e68789b1a8f15e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 23 Oct 2017 13:06:40 +0200
Subject: 1.1.4

---
 assignments/assignment2/assignment2.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'assignments/assignment2/assignment2.tex')

diff --git a/assignments/assignment2/assignment2.tex b/assignments/assignment2/assignment2.tex
index 9fb455b..26e964e 100644
--- a/assignments/assignment2/assignment2.tex
+++ b/assignments/assignment2/assignment2.tex
@@ -63,6 +63,14 @@
 		The learned model also contains states, therefore they must be equivalent.
 
 	\item
+		A counter-example $\pi$ consists of a prefix, an input where an inconsistency appears and a suffix showing the inconsistency:
+			$\pi = \sigma u \rho$.
+		However, when we provide some sequence $\pi$ it may be possible to find distinct partitions
+			$\pi = \sigma_1 u_1 \rho_1 \neq \sigma_2 u_2 \rho_2 = \pi$
+			which both help to improve the hypothesis.
+		If on the first run we add $\rho_1$ to the suffices of our table,
+			$\sigma_2 u_2 \rho_2$ may not be covered yet,
+			and we may be able to add $\pi$ a second time.
 
 	\item
 
-- 
cgit v1.2.3

