diff options
Diffstat (limited to 'assignments/assignment2/assignment2.tex')
| -rw-r--r-- | assignments/assignment2/assignment2.tex | 8 |
1 files changed, 8 insertions, 0 deletions
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 |