verifit / automata Goto Github PK

• Is he willing to do that / review it / let someone review it ?
• Are they willing to merge-in their own cross-platform changes they learned in https://github.com/AutomataDotNet/srm/ ?
• Are they willing to back-port any fixes and code clean-up made for the SRM project? (see commits in the repo https://github.com/AutomataDotNet/srm/commits/master )
• Are they willing to merge our cross-platform changes ? (current version is not nearly enough!)
• Are they wiling to merge our feature changes (e.g. new IAutomata interface) ?

Try it for the reaction of the automaton in forward or backward run

how Margus minimizes automata - reduction of nondeterministic symbolic automata

• prozkoumat minimalizace

  • jakym zpusobem Margus minimalizuje automaty - redukce nedeterministickych symbolickych automatu (bisimulacni redukce, proc se vola/nevoal, todo zavolat)

• doplnit kod pro simulacni redukci od Juraje Sice a vyzkouset ho pro rekci automatu v doprednem ci zpetnem behu
  podivat se jak simulacni redukce J.S. funguje pro pripad paralerne jdoucich prechodu ktere se daji sloucit do jednoho s jedou tridou - vice ve screenshotu "Screenshot simulacni redukci od Juraje Sice.png"

Use whole power of antichain.
Antichain + simulation ?

See how the simulation reduction works for parallel transitions that can be merged into one with a single class - more in the screenshot