Now kernel.dot is parsed to Nfa and the teacher used for learning complement is based on this Nfa. Next step is to compute (all?) shortest paths to rejecting states in the to be complemented Nfa.