complement
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
complement [2018/11/12 14:48] – liyong | complement [2018/11/13 13:39] (current) – liyong | ||
---|---|---|---|
Line 20: | Line 20: | ||
--END-- | --END-- | ||
</ | </ | ||
- | This Büchi automaton is the smallest automaton | + | This Büchi automaton is the smallest automaton |
As an example, one can use following command line to complement the given automaton. | As an example, one can use following command line to complement the given automaton. | ||
< | < | ||
- | java -jar ROLL.jar | + | java -jar ROLL.jar complement A.hoa -table -syntactic |
</ | </ | ||
It will give us a complement automaton described in the Hanoi format as follows. | It will give us a complement automaton described in the Hanoi format as follows. | ||
Line 57: | Line 57: | ||
--END-- | --END-- | ||
</ | </ | ||
- | |||
The complete log information is the following. | The complete log information is the following. |
complement.1542005291.txt.gz · Last modified: 2018/11/12 14:48 by liyong