complement
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| complement [2018/11/12 14:50] – 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. | ||
complement.txt · Last modified: 2018/11/13 13:39 by liyong