User Tools

Site Tools


complement

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous 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.
 <​code>​ <​code>​
-java -jar ROLL.jar ​-complement A.hoa -table -syntactic+java -jar ROLL.jar complement A.hoa -table -syntactic
 </​code>​ </​code>​
 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