complement
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
complement [2018/11/12 14:48] – liyong | complement [2018/11/12 14:50] – 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. | ||
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