Generates an implication chart to minimise a finite state machine