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 24: | Line 24: | ||
| 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.txt · Last modified: 2018/11/13 13:39 by liyong