From cf7ef872abccaeae89bc59a9287fc693775439dc Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 26 Jan 2016 14:44:48 +0100 Subject: [PATCH] update --- recap_al.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/recap_al.txt b/recap_al.txt index 7553159..e05399c 100644 --- a/recap_al.txt +++ b/recap_al.txt @@ -29,6 +29,8 @@ HYPOTHESIS up. - Completeness: Drawing should be input complete, otherwise add rows with extensions + This means that a top part prefix plus suffix should be available in the + bottom part EQUIVALENCE QUERY Yes: successfully found model @@ -39,6 +41,7 @@ HANDLE CE - extract suffix that disproves nerode - there is a suffix that ends you up in the same state, the later part is the culprit. + - add prefix above line, add suffix in column - add to column(note that columns should be suffix closed) - fill in table - refine hypothesis -- 2.20.1