Closed alangerak closed 8 years ago
@Unia , comment is (hopefully) is resolved now.
I like it. @pvanagtmaal, @StefanBoodt?
Indeed better, but should we mention that even without reset it is possible to generate a FSM of sorts, because the internal state such a system is in is usually doing different things in different states.
I think the next section tries to explain that, as it talks about simulating a reset by finding homing sequences that identify certain states, thereby still inferring an automaton.
@StefanBoodt I don't think it is necessary here, as @gfokkema points out it is shortly mentioned in the next section
Small addition of a method that reduces the amount of resets needed. This addition is suggested so the Learnlib library section can reference it too.
This PR could always be rejected because of the wordcount. Then the learnlib section will just be a reference (like at always was)