![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||||||||
|
There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.
![]() | This article is rated Stub-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||||||||
|
There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.