1 Introduction Model Learning
2 ===============================================================================
3 Model learning black box
4 - Passive: Process mining
6 - Active: Automata learning
9 - membership queries: yes/no from teacher
10 - equivalence queries: yes/no+counterexample from teacher
11 - Can be used for fingerprinting
13 Active Automata Learning
14 ===============================================================================
17 two words are equivalent if for all continuations they map the same output
19 Columns: suffix closed
26 - bottom part: extensions
28 Bottom part structure should also be present in upper part otherwise move
31 Drawing should be input complete, otherwise add rows with extensions
34 Yes: successfully found model
39 - extract suffix that disproves nerode
40 - there is a suffix that ends you up in the same state, the later part is
42 - add to column(note that columns should be suffix closed)