Merged
requested to merge 324-document-that-cif-explorer-does-not-produce-minimal-state-spaces into develop
- CIF explorer: better order for introduction.
- CIF explorer: explain states and non-minimal result.
- NFA to DFA: explain how minimal DFA can be obtained.
- NFA to DFA: other small improvements.
- DFA minimize: refer to Wikipedia for more info on 'minimal'.
- DFA minimize: explain what could be done for NFAs.
Closes #324 (closed)