#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements

Dennis Hendriksrequested 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)

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent