Regular Omega Language Learning (ROLL)

User Tools

Site Tools

Trace:
complement

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
complement [2018/11/12 14:48] – liyongcomplement [2018/11/12 14:48] – liyong
Line 20: Line 20:
 --END-- --END--
 </code> </code>
-This Büchi automaton is the smallest automaton to recognize the language specified by the LTL formula "F (G b)".+This Büchi automaton is the smallest automaton recognizing the language specified by the LTL formula "F (G b)".
  
 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.
complement.txt · Last modified: 2018/11/13 13:39 by liyong