mklokocka / seminator

Seminator is a free tool for semi-determinization of omega automata.

mklokocka/seminator Issues

Delay moving from N to B in both versions of NCSB
Updated 4 years ago
speed issues
Updated 4 years ago
Typos and ambiguity in notebooks/LevelSkipping.ipynb
Updated 4 years ago
Batch processing
Closed 5 years ago
Run only reasonable jobs in Seminator class
Closed 5 years ago1
Make cut transitions clever: avoid unnecessary states between 1st component and (accepting) SCC of 2nd component
Closed 5 years ago1
rename --reuse-good-scc to --reuse-deterministic-tails
Closed 5 years ago1
Remove accepting inherently terminal and deterministic bottom SCC from 1st component
Closed 5 years ago6
Simlation based simplification of breakpoint construction
Updated 5 years ago
Treat bottom weak SCCs as deterministic for reuse-deterministic-tails
Updated 5 years ago
Degeneralize TGBA and reuse information of the form `(s,level)`
Updated 5 years ago
Restrict --powerset-on-cut on self-loops only
Closed 5 years ago2
Finetune treating levels (cache, etc.)
Updated 5 years ago
Simplify input automaton
Closed 5 years ago1
Do not track marks that are common to all edges in SCC (needs level-skipping)
Updated 5 years ago
fragile stdin handling
Closed 5 years ago4
Add detection for unsupported options
Closed 5 years ago
Color 1st and 2nd components + cut-transitions in output
Closed 5 years ago1
Test cut-transitions that use subset construction already
Closed 5 years ago1
--cy option is redundant
Closed 5 years ago1
Build deterministic automata using the simple powerset construction for safety automata (accept all)
Closed 5 years ago
C++11 -> C++14
Closed 7 years ago