... the pair of events.More formally, E = (S, s0, F, L, T) is a modelwhere S is the set of states, s0∈ S is the initial state,F ⊆ S is the set of final states, L is the set of edgelabels and ... is the set of transitions.We note that it is the responsibility of the learningalgorithm to discover the correct number of states.We treat the task of discovering an event model asthat of ... generated by the automaton was calcu-lated. These probabilities were compared with those of a set of random sequences (generated to have the same distribution of length as the test data). The probabilities...